Synthesizing Pareto Optimal Decision for Autonomic Clouds using Stochastic Games Model Checking
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...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2017
|
| Subjects: | |
| Online Access: | View Fulltext in Publisher |