Towards the formalization of properties of cloud-based elastic systems.

Marcello M. Bersani, Domenico Bianculli, Schahram Dustdar, Alessio Gambi, Carlo Ghezzi, Srdan Krstic

Browse the full ICSE paper archive.