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