| Title: |
Dependable Horizontal Scaling Based on Probabilistic Model Checking |
| Authors: |
Naskos, Athanasios; Stachtiari, Emmanouela; Gounaris, Anastasios; Katsaros, Panagiotis; Tsoumakos, Dimitrios; Konstantinou, Ioannis; Sioutas, Spyros |
| Source: |
2015 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing Cluster, Cloud and Grid Computing (CCGrid), 2015 15th IEEE/ACM International Symposium on. :31-40 May, 2015 |
| Relation: |
2015 15th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (CCGrid) |
| Database: |
IEEE Xplore Digital Library |