Performance modelling and verification of cloud-based auto-scaling policies.

Alexandros Evangelidis David Parker Rami Bahsoon

Published in: Future Gener. Comput. Syst. (2018)

Keyphrases

optimal policy
model checking
false acceptance rate
artificial intelligence
formal methods
computer vision
reinforcement learning
asynchronous circuits
formal verification
query processing
multi agent
database
bayesian networks
e learning
search engine
learning algorithm
real world
databases