Sign in

Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors.

Howard BarringerYliès FalconeKlaus HavelundGiles RegerDavid E. Rydeheard
Published in: FM (2012)
Keyphrases
  • computationally expensive
  • computationally efficient
  • cost effective
  • data sets
  • machine learning
  • metadata
  • event detection
  • news articles