Statically and Dynamically Verifiable SLA Metrics.

Elena Giachino Stijn de Gouw Cosimo Laneve Behrooz Nobakht

Published in: Theory and Practice of Formal Methods (2016)

Keyphrases

quality of service
databases
information retrieval
feature selection
cloud computing
changing environment
real time
response time
open source
service providers
evaluation metrics