Mirko Viroli » Publications » Papers per Year

Publications by Mirko Viroli (2012)

Mirko Viroli, Graeme Stevenson
On the Space-time Situation of Pervasive Service Ecosystems
Workshop on Spatial Computing, jun 2012

Matteo Casadei, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012), 10 September 2012

Sara Montagna, Mirko Viroli, Danilo Pianini, Jose Luis Fernandez-Marquez
Towards a comprehensive approach to spontaneous self-composition in pervasive ecosystems
Proceedings of the 13th Workshop on Objects and Agents, 12 September 2012

Mirko Viroli, Danilo Pianini, Jacob Beal
Linda in space-time: an adaptive coordination model for mobile ad-hoc environments
Coordination Models and Languages, LNCS 7274, jun 2012

Sara Montagna, Danilo Pianini, Mirko Viroli
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation
Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC 2012) , 26-30 March 2012

Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
Proceedings of the 27th Annual ACM Symposium on Applied Computing (SAC 2012) , 26-30 March 2012

Matteo Casadei, Mirko Viroli
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
Proceedings of the 13th Workshop on Objects and Agents, 12 September 2012

Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
Self-organising Semantic Resource Discovery for Pervasive Systems
1st International Workshop on Adaptive Service Ecosystems: Natural and Socially Inspired Solutions (ASENSIS 2012), 10 September 2012

Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Standard Type Soundness for Agents and Artifacts
Scientific Annals of Computer Science 22(2), 2012

Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp
27th ACM Symposium on Applied Computing (SAC 2012), 26-30 March 2012

Sara Montagna, Danilo Pianini, Mirko Viroli
Gradient-based Self-organisation Patterns of Anticipative Adaptation
Proceedings of 6th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2012), May 2012

Mirko Viroli, Franco Zambonelli, Graeme Stevenson, Simon Dobson
From SOA to Pervasive Service Ecosystems: an approach based on Semantic Web technologies
Adaptive Web Services for Modular and Reusable Software Development: Tactics and Solution, 2012

Sara Montagna, Mirko Viroli
A Computational Framework for Multilevel Morphologies
Morphogenetic Engineering, Understanding Complex Systems, 2012

[top]