Login / Signup

Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors.

Amir KishonPaul HudakCharles Consel
Published in: PLDI (1991)
Keyphrases
  • main contribution
  • monitoring system
  • neural network
  • real time
  • data sets
  • databases
  • probabilistic model
  • web services
  • theoretical framework
  • qualitative reasoning
  • semantic aspects