Login / Signup
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