Sign in

Formal Analysis of Empirical Traces in Incident Management.

Mark HoogendoornCatholijn M. JonkerSavas KonurPeter-Paul van MaanenViara PopovaAlexei SharpanskykhJan TreurLai XuPinar Yolum
Published in: SGAI Conf. (Applications) (2004)
Keyphrases
  • formal analysis
  • incident management
  • situation awareness
  • agent model
  • service providers
  • formal methods
  • service quality
  • ban logic
  • machine learning
  • data mining
  • computational intelligence