Per Sort & Year
Per Sort & Year
33 papers in proceedings / 2006–2013 / Matteo Casadei
Matteo Casadei, Mirko Viroli A Framework to Specify and Verify Computational Fields for Pervasive Computing Systems WOA 2012, 12 September 2012 |
Matteo Casadei, Mirko Viroli Toward Approximate Stochastic Model Checking of Computational Fields for Pervasive Computing Systems ASENSIS 2012, 10 September 2012 |
Mirko Viroli, Jacob Beal, Matteo Casadei Core Operational Semantics of Proto 26th Annual ACM Symposium on Applied Computing (SAC 2011), 21–25 March 2011 |
Jose Luis Fernandez-Marquez, Josep Lluis Arcos, Giovanna Di Marzo Serugendo, Matteo Casadei Description and Composition of Bio-Inspired Design Patterns: the Gossip Case 8th IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems (EASe 2011), 27-29 April 2011 |
Mirko Viroli, Matteo Casadei, Elena Nardini, Andrea Omicini Towards a Pervasive Infrastructure for Chemical-Inspired Self-organising Services Self-Organizing Architectures. Lecture Notes in Computer Science 6090, July 2010 |
Elena Nardini, Mirko Viroli, Matteo Casadei, Andrea Omicini A Self-Organising Infrastructure for Chemical-Semantic Coordination: Experiments in TuCSoN WOA 2010. CEUR Workshop Proceedings 621, 5-7 September 2010 |
Mirko Viroli, Matteo Casadei Chemical-Inspired Self-Composition of Competing Services 25th Annual ACM Symposium on Applied Computing (SAC 2010), 22-26 March 2010 |
Mirko Viroli, Matteo Casadei, Andrea Omicini A Framework for Modelling and Implementing Self-Organising Coordination 24th Annual ACM Symposium on Applied Computing (SAC 2009), 8-12 March 2009 |
Matteo Casadei, Mirko Viroli An Experience on Probabilistic Model Checking and Stochastic Simulation to Design Self-Organizing Systems IEEE Congress on Evolutionary Computation, 2009 (CEC 2009)., May, 18-21 2009 |
Mirko Viroli, Franco Zambonelli, Matteo Casadei, Sara Montagna A Biochemical Metaphor for Developing Eternally Adaptive Service Ecosystems 24th Annual ACM Symposium on Applied Computing (SAC 2009), March, 8-12 2009 |
Mirko Viroli, Matteo Casadei Biochemical Tuple Spaces for Self-Organising Coordination Coordination Languages and Models. Lecture Notes in Computer Science 5521, June 2009 |
Matteo Casadei, Mirko Viroli Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems 24th Annual ACM Symposium on Applied Computing (SAC 2009), March, 8-12 2009 |
Matteo Casadei, Andrea Omicini Situated Tuple Centres in ReSpecT SAC 2009, 8-12 March 2009 |
Elena Nardini, Matteo Casadei, Andrea Omicini, Pietro Gaffuri A Conceptual Framework for Collaborative Learning Systems Based on Agent Technologies The 2008 International Conference on the Interactive Computer Aided Learning (ICL 2008), 24-26 September 2008 |
Matteo Casadei, Mirko Viroli Applying Self-Organizing Coordination to Emergent Tuple Organization in Distributed Networks 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'08), 20-24 October 2008 |
Matteo Casadei, Mirko Viroli, Marco Santarelli Collective Sort and Emergent Patterns of Tuple Distribution in Grid-Like Networks 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises. Workshop on Coordination Models and Applications (CoMA 2008), 23-25 June 2008 |
Matteo Casadei, Andrea Omicini Situating A&A ReSpecT for Pervasive Environment Applications 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises. Workshop on Coordination Models and Applications (CoMA 2008), 23-25 June 2008 |
Matteo Casadei, Andrea Omicini, Mirko Viroli Prototyping A&A ReSpecT in Maude Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2007). Electronic Notes in Theoretical Computer Science 194, April 2008 |
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf A Self-organizing Approach to Tuple Distribution in Large-Scale Tuple-Space Systems Self-Organizing Systems. Lecture Notes in Computer Science 4725, August 2007 |
Matteo Casadei, Ronaldo Menezes, Robert Tolksdorf, Mirko Viroli On the Problem of Over-clustering in Tuple-based Coordination Systems 1st IEEE Conference on Self-Adaptive and Self-Organizing Systems (SASO 2007), 9-11 July 2007 |
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf Self-Organized Over-Clustering Avoidance in Tuple-Space Systems IEEE Congress on Evolutionary Computation, 2007 (CEC 2007). , 25-28 September 2007 |
Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini Designing Self-organising MAS Environments: The Collective Sort Case E4MAS 2006. Lecture Notes in Computer Science 4389, May 2007 |
Matteo Casadei, Ronaldo Menezes, Mirko Viroli, Robert Tolksdorf Using Ant's Brood Sorting to Increase Fault Tolerance in Linda's Tuple Distribution Mechanism Cooperative Information Agents XI. Lecture Notes in Computer Science 4676, September 2007 |
Matteo Casadei, Andrea Omicini, Mirko Viroli Prototyping A&A ReSpecT in Maude 6th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'07), 8 September 2007 |
Mirko Viroli, Matteo Casadei, Luca Gardelli A Self-Organising Solution to the Collective Sort Problem in Distributed Tuple Spaces SAC '07: Proceedings of the 2007 ACM Symposium on Applied Computing, 2007 |
Matteo Casadei, Luca Gardelli, Mirko Viroli Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006). Electronic Notes in Theoretical Computer Science 175, June 2007 |
Matteo Casadei, Luca Gardelli, Mirko Viroli Collective Sorting Tuple Spaces WOA 2006. CEUR Workshop Proceedings, 26-27 September 2006 |
Luca Gardelli, Mirko Viroli, Matteo Casadei On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation E4MAS 2006, May 8 2006 |
Luca Gardelli, Mirko Viroli, Matteo Casadei On Engineering Self-Organizing Environments: Stochastic Methods for Dynamic Resource Allocation Atti Congresso Annuale AICA 2006, 21-22 September 2006 |
Antonio Natali, Antonio Del Cinque, Matteo Casadei L' Uso dei Web Service nella Catena del Valore della Logistica Integrata Atti Congresso Annuale AICA 2006, 21-22 September 2006 |
Matteo Casadei, Luca Gardelli, Mirko Viroli Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case 5th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'06), 31 August 2006 |
Matteo Casadei, Luca Gardelli, Mirko Viroli A Case of Self-Organising Environment for MAS: the Collective Sort Problem 4th European Workshop on Multi-Agent Systems (EUMAS 2006). CEUR Workshop Proceedings, 14-15 December 2006 |