tag : pervasive systems
7
talk
SAPERE Methodology: Towards the Final Version (M32 Consortium Meeting, 18/06/2013) — Andrea Omicini (Ambra Molesini, Andrea Omicini) Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems (ASENSIS 2012@SASO 2012, 10/09/2012) — Mirko Viroli (Matteo Casadei, Mirko Viroli) Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp (CM 2012@SAC 2012, 29/03/2012) — Mirko Viroli (Andrea Omicini) From Service-Oriented Architectures to Nature-Inspired Self-aware Pervasive Service Ecosystems: The SAPERE Approach (The AWARENESS Virtual Lecture Series, 11/11/2011) — Franco Zambonelli (Franco Zambonelli) Coordination Models and Technologies toward Self-Organising Systems (The AWARENESS Virtual Lecture Series, 04/11/2011) — Andrea Omicini (Andrea Omicini) Coordination Models and Technologies toward Self-Organising Systems (26-esimo Convegno Italiano di Logica Computazionale (CILC 2011), Università degli Studi "Gabriele D'Annunzio" di Chieti e Pescara, Pescara, Italy, 31/08/2011) — Andrea Omicini (Andrea Omicini)