Login / Signup
A Runtime Verification Based Trace-Oriented Monitoring Framework for Cloud Systems.
Jingwen Zhou
Zhenbang Chen
Ji Wang
Zibin Zheng
Wei Dong
Published in:
ISSRE Workshops (2014)
Keyphrases
</>
main contribution
expert systems
machine learning
management system
building blocks
theoretical framework
model checking
databases
case study
open source
distributed systems
computer systems
monitoring system
conceptual framework
face verification
asynchronous circuits