Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources.

Athanasios Naskos, Emmanouela Stachtiari, Panagiotis Katsaros, Anastasios Gounaris

Browse the full RV paper archive.