Synthesizing Pareto Optimal Decision for Autonomic Clouds Using Stochastic Games Model Checking

Synthesizing Pareto Optimal Decision for Autonomic Clouds Using Stochastic Games Model Checking

Show other versions (1)

The ability to automatically generate and guarantee the optimal decision for self-adaptation is important especially when there are multiple quality objectives that need to be satisfied, the uncertainties in the adaptation outcome, and the time-varying resource demands, especially in the autonomic c...

Full description

Bibliographic Details
Main Authors: Hinchey M. (Author), Ismail, A. (Author), Kwiatkowska, M. (Author), Liu X. (Author), Lv J. (Author), Zhang H. (Author)
Format: Article
Language:English
Published: IEEE Computer Society 2018
Subjects:
Abstraction methods
Adaptation decisions
autonomic clouds
Behavioral research
Game theory
Model checking
Multiple quality
multiple quality objectives
Pareto optimal decisions
Pareto principle
Service Level Agreement (SLA)
Stochastic game
stochastic games model checking
Stochastic models
Stochastic systems
strategy synthesis
Strategy synthesis
Temporal logic specifications
Online Access:View Fulltext in Publisher
View in Scopus

Internet

View Fulltext in Publisher
View in Scopus

Similar Items