|
[CCDR15]
Giuseppe Cicotti, Luigi Coppolino, Salvatore D'Antonio and Luigi Romano.
Runtime Model Checking for SLA Compliance Monitoring and QoS Prediction.
Journal of Wireless Mobile Networks, Ubiquitous Computing, and Dependable Applications, 6(2).
2015.
[Proposes a QoS prediction approach using PRISM and applied to a smart grid case study.]
|
|
Links:
[Google]
[Google Scholar]
|