Login / Signup
Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors.
Amir Kishon
Paul Hudak
Charles 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