Presentazioni  /  2012  /  Mirko Viroli

Danilo Pianini (Matteo Casadei, Mirko Viroli)
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
(presentazione) 13th Workshop on Objects and Agents (WOA 2012), 19/09/2012
Danilo Pianini (Danilo Pianini, Mirko Viroli, Sara Montagna, Jose Luis Fernandez Marquez)
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems
(presentazione) 13th Workshop on Objects and Agents (WOA 2012), 19/09/2012
Danilo Pianini (Danilo Pianini, Mirko Viroli, Sara Montagna)
Gradient-based Self-organisation Patterns of Anticipative Adaptation
(presentazione) 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), 11/09/2012
Mirko Viroli (Mirko Viroli)
WP1 @ M24 Progresses and Review
(relazione di progetto) SAPERE Meeting, SASO 2012, 10/09/2012
Mirko Viroli (Matteo Casadei, Mirko Viroli)
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
(presentazione) ASENSIS @ SASO 2012, 10/09/2012
Mirko Viroli (Mirko Viroli)
WP1 @ M21. Progresses and Plan
(presentazione) General SAPERE Meeting, 11/06/2012
Mirko Viroli (Andrea Omicini)
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp
(presentazione di poster) 27th Annual ACM Symposium on Applied Computing (SAC 2012), 29/03/2012
Mirko Viroli (Mirko Viroli)
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
(presentazione) 27th Annual ACM Symposium on Applied Computing (SAC 2012), 28/03/2012
Sara Montagna (Danilo Pianini, Mirko Viroli, Sara Montagna)
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation
(presentazione) 27th Annual ACM Symposium on Applied Computing (SAC 2012), 28/03/2012
Mirko Viroli (Mirko Viroli)
Self-adaptive Service Ecosystems for Pervasive Computing
(seminario) DISI seminars, 15/03/2012
Mirko Viroli (Mirko Viroli)
WP1 @ M17. Progresses and Plan 
(relazione di progetto) General SAPERE Meeting, 27/02/2012
(11 presentazioni nel 2012) [in cima]  [in fondo]

Tags:
    
Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY