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: Kwiatkowska, M, Ismail, A
格式: Conference item
出版: IEEE 2018