Proof of violation for availability in cloud systems.

Gwan-Hwan Hwang Shang-Yu Yeh

Published in: ICIS (2016)

Keyphrases

complex systems
management system
distributed systems
database
learning systems
cloud computing
computer systems
linear logic
systems require
building blocks
intelligent systems
computational intelligence
expert systems
search algorithm
machine learning
data mining
databases