research: add series/volume information to BiBTeX entries
[homepage.git] / research / publications / sefm2012-aeolus.bib
1 @inproceedings{sefm2012-aeolus,
2   author = {Di Cosmo, Roberto and Stefano Zacchiroli and Zavattaro, Gianluigi},
3   title = {Towards a Formal Component Model for the Cloud},
4   abstract = {We consider the problem of deploying and (re)configuring resources in a "cloud" setting, where interconnected software components and services can be deployed on clusters of heterogeneous (virtual) machines that can be created and connected on-the-fly. We introduce the Aeolus component model to capture similar scenarii from realistic cloud deployments, and instrument automated planning of day-to-day activities such as software upgrade planning, service deployment, elastic scaling, etc. We formalize the model and characterize the feasibility and complexity of configuration achievability in Aeolus.},
5   year = {2012},
6   booktitle = {SEFM 2012: 10th International Conference on Software Engineering and Formal Methods},
7 }