Performance Modelling and Verification of Cloud-based Auto-Scaling Policies.

Alexandros Evangelidis David Parker Rami Bahsoon

Published in: CCGrid (2017)

Keyphrases

cloud computing
formal verification
model checking
web browser
loosely coupled
asynchronous circuits
database
computer vision
data analysis
optimal policy
dynamical systems
face verification
control policies
high security