|
[MCGS15]
Gabriel A. Moreno, Javier Cámara, David Garlan and Bradley Schmerl.
Proactive self-adaptation under uncertainty: a probabilistic model checking approach.
In Proc. 10th Joint Meeting on Foundations of Software Engineering (ESEC/FSE'15), pages 1-12.
2015.
[Uses PRISM to synthesise latency-aware adaptation strategies for self-adaptive systems.]
|
|
Links:
[Google]
[Google Scholar]
|