Dependable Horizontal Scaling Based on Probabilistic Model Checking.

Athanasios Naskos, Emmanouela Stachtiari, Anastasios Gounaris, Panagiotis Katsaros, Dimitrios Tsoumakos, Ioannis Konstantinou, Spyros Sioutas

Browse the full CCGRID paper archive.