Sign in

Towards a formal framework for reasoning about the resilience of dynamic interactive systems.

Paolo MasciPaul CurzonHuayi HuangRimvydas RuksenasAnn BlandfordDominic FurnissAtish Rajkomar
Published in: EWDC (2011)
Keyphrases
  • interactive systems
  • main contribution
  • dynamically select
  • databases
  • genetic algorithm
  • formal model
  • data sets
  • neural network
  • clustering algorithm
  • case study
  • dynamic environments
  • lightweight