Synthesizing Pareto optimal decision for autonomic clouds using stochastic games model checking
<p>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 a...
Main Authors: | , |
---|---|
格式: | Conference item |
出版: |
IEEE
2018
|