Per anno


Per anno

11 presentazioni  /  2012  /  Mirko Viroli

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

Tags:
Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY