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...

पूर्ण विवरण

ग्रंथसूची विवरण
मुख्य लेखकों: Kwiatkowska, M, Ismail, A
स्वरूप: Conference item
प्रकाशित: IEEE 2018