Per Sort


Per Sort

14 publications  /  2012  /  Mirko Viroli

articles in journal
Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Standard Type Soundness for Agents and Artifacts
Scientific Annals of Computer Science 22(2), 2012
(1 article in journal / 2012)  [top]  [bottom]
papers in proceedings
Mirko Viroli, Graeme Stevenson
On the Space-time Situation of Pervasive Service Ecosystems
Workshop on Spatial Computing, June 2012
Graeme Stevenson, Mirko Viroli, Juan Ye, Sara Montagna, Simon Dobson
Self-organising Semantic Resource Discovery for Pervasive Systems
ASENSIS 2012, 10 September 2012
Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson
Pervasive Ecosystems: a Coordination Model based on Semantic Chemistry
27th Annual ACM Symposium on Applied Computing (SAC 2012) , 26-30 March 2012
Mirko Viroli, Graeme Stevenson
On the Space-time Situation of Pervasive Service Ecosystems 
Workshop on Spatial Computing, 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
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
Ronaldo Menezes, Andrea Omicini, Mirko Viroli
Dynamic Composition of Coordination Abstractions for Pervasive Systems: The Case of LogOp
CM @ SAC 2012, 26-30 March 2012
Matteo Casadei, Mirko Viroli
Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems
ASENSIS 2012, 10 September 2012
Sara Montagna, Danilo Pianini, Mirko Viroli
A Model for Drosophila Melanogaster Development from a Single Cell to Stripe Pattern Formation
SAC 2012, 26-30 March 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, June 2012
Matteo Casadei, Mirko Viroli
A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems
WOA 2012, 12 September 2012
(11 papers in proceedings / 2012)  [top]  [bottom]
book chapters
Sara Montagna, Mirko Viroli
A Computational Framework for Multilevel Morphologies
Morphogenetic Engineering. Understanding Complex Systems, 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
(2 book chapters / 2012)  [top]  [bottom]

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