Collaborated with:A.Lluch-Lafuente S.Sebastio A.Grazioli F.Zanichelli V.Senni F.Tiezzi
Talks about:approach (2) cloud (2) distribut (1) autonom (1) toward (1) formal (1) execut (1) cooper (1) comput (1) mobil (1)
Person: Michele Amoretti
DBLP: Amoretti:Michele
Contributed to:
20142013Wrote 2 papers:
- PDP-2014-AmorettiGZST #approach #formal method #in the cloud #mobile #towards
- Towards a Formal Approach to Mobile Cloud Computing (MA, AG, FZ, VS, FT), pp. 743–750.
- PDP-2013-AmorettiLS #approach #distributed #execution
- A Cooperative Approach for Distributed Task Execution in Autonomic Clouds (MA, ALL, SS), pp. 274–281.