Per tipo

72 articoli in rivista / Mirko Viroli

long bib

articoli in rivista

A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge (2022) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Andrea Placuzzi, Claudio Savaglio, Mirko Viroli
Partitioned integration and coordination via the self-organising coordination regions pattern (2021) — Danilo Pianini, Roberto Casadei, Mirko Viroli, Antonio Natali
Modelling and Simulation of Opportunistic IoT Services with Aggregate Computing (2019) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
From distributed coordination to field calculus and aggregate computing (2019) — Mirko Viroli, Jacob Beal, Ferruccio Damiani, Giorgio Audrito, Roberto Casadei, Danilo Pianini
A Higher-Order Calculus of Computational Fields (2019) — Giorgio Audrito, Mirko Viroli, Ferruccio Damiani, Danilo Pianini, Jacob Beal
A development approach for collective opportunistic Edge-of-Things services (2019) — Roberto Casadei, Giancarlo Fortino, Danilo Pianini, Wilma Russo, Claudio Savaglio, Mirko Viroli
Engineering Resilient Collective Adaptive Systems by Self-Stabilisation (2018) — Mirko Viroli, Giorgio Audrito, Jacob Beal, Ferruccio Damiani, Danilo Pianini
Spatial Tuples: Augmenting Reality with Tuples (2018) — Alessandro Ricci, Mirko Viroli, Andrea Omicini, Stefano Mariani, Angelo Croatti, Danilo Pianini
Towards attack-resistant Aggregate Computing using trust mechanisms (2018) — Roberto Casadei, Alessandro Aldini, Mirko Viroli
Optimal single-path information propagation in gradient-based algorithms (2018) — Giorgio Audrito, Ferruccio Damiani, Mirko Viroli
Aggregate plans for multiagent systems (2017) — Mirko Viroli, Danilo Pianini, Alessandro Ricci, Angelo Croatti
Self-Adaptation to Device Distribution in the Internet of Things (2017) — Jacob Beal, Mirko Viroli, Danilo Pianini, Ferruccio Damiani
Towards a Mobile Augmented Reality System for Emergency Management: The Case of SAFE (2017) — Angelo Croatti, Alessandro Ricci, Mirko Viroli
A type-sound calculus of computational fields (2016) — Ferruccio Damiani, Mirko Viroli, Jacob Beal
Spatial awareness in pervasive ecosystems (2016) — Simon Dobson, Mirko Viroli, Jose Luis Fernandez-Marquez, Franco Zambonelli, Graeme Stevenson, Giovanna Di Marzo Serugendo, Sara Montagna, Danilo Pianini, Juan Ye, Gabriella Castelli, Alberto Rosi
Aggregate Programming for the Internet of Things (2015) — Jacob Beal, Danilo Pianini, Mirko Viroli
Formal Foundations of Sensor Network Applications (2015) — Jacob Beal, Mirko Viroli
A framework supporting multi-compartment stochastic simulation and parameter optimisation for investigating biological system development (2015) — Sara Montagna, Mirko Viroli, Andrea Roli
A coordination model of pervasive service ecosystems (2015) — Mirko Viroli, Danilo Pianini, Sara Montagna, Graeme Stevenson, Franco Zambonelli
Type-based Self-stabilisation for Computational Fields (2015) — Ferruccio Damiani, Mirko Viroli
Developing Pervasive Multi-Agent Systems with Nature-Inspired Coordination (2015) — Franco Zambonelli, Andrea Omicini, Bernhard Anzengruber, Gabriella Castelli, Francesco L. DeAngelis, Giovanna Di Marzo Serugendo, Simon Dobson, José Luis Fernandez-Marquez, Alois Ferscha, Marco Mamei, Stefano Mariani, Ambra Molesini, Sara Montagna, Jussi Nieminen, Danilo Pianini, Matteo Risoldi, Alberto Rosi, Graeme Stevenson, Mirko Viroli, Juan Ye
Space-Time Programming (2015) — Jacob Beal, Mirko Viroli
Semantic Tuple Centres (2013) — Elena Nardini, Andrea Omicini, Mirko Viroli
Description and composition of bio-inspired design patterns: a complete overview (2013) — Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Sara Montagna, Mirko Viroli, Josep Lluis Arcos
On competitive self-composition in pervasive services (2013) — Mirko Viroli
Chemical-oriented Simulation of Computational Systems with ALCHEMIST (2013) — Danilo Pianini, Sara Montagna, Mirko Viroli
Operational Semantics of Proto (2013) — Mirko Viroli, Jacob Beal, Kyle Usbeck
Injecting Self-organisation into Pervasive Service Ecosystems (2013) — Sara Montagna, Mirko Viroli, Jose Luis Fernandez-Marquez, Giovanna Di Marzo Serugendo, Franco Zambonelli
Simulation in Agent-Oriented Software Engineering: The SODA Case Study (2013) — Ambra Molesini, Matteo Casadei, Andrea Omicini, Mirko Viroli
Standard Type Soundness for Agents and Artifacts (2012) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Preface (2011) — Carlos Canal, Mirko Viroli
Environment Programming in Multi-Agent Systems – An Artifact-Based Perspective (2011) — Alessandro Ricci, Michele Piunti, Mirko Viroli
Coordination Models and Languages: From Parallel Computing To Self-Organisation (2011) — Andrea Omicini, Mirko Viroli
A Quarter-century of The Knowledge Engineering Review: Introduction to the Special Issue (2011) — Peter McBurney, Simon Parsons, Mirko Viroli
A Survey on Nature-inspired Metaphors for Pervasive Service Ecosystems (2011) — Franco Zambonelli, Mirko Viroli
simpA: An Agent-oriented Approach for Programming Concurrent Applications on top of Java (2011) — Alessandro Ricci, Mirko Viroli, Giulio Piancastelli
A Calculus of Agents and Artifacts (2011) — Ferruccio Damiani, Paola Giannini, Alessandro Ricci, Mirko Viroli
Spatial Coordination of Pervasive Services through Chemical-inspired Tuple Spaces (2011) — Mirko Viroli, Matteo Casadei, Sara Montagna, Franco Zambonelli
Coordinating e-Health Systems with TuCSoN Semantic Tuple Centres (2011) — Elena Nardini, Andrea Omicini, Mirko Viroli, Michael I. Schumacher
A Biochemical Approach to Adaptive Service Ecosystems (2010) — Mirko Viroli, Franco Zambonelli
Argumentation and Artifacts for Negotiation Support (2010) — Enrico Oliva, Peter McBurney, Andrea Omicini, Mirko Viroli
On the Collective Sort Problem for Distributed Tuple Spaces (2009) — Matteo Casadei, Mirko Viroli, Luca Gardelli
Environment in Agent-Oriented Software Engineering Methodologies (2009) — Ambra Molesini, Andrea Omicini, Mirko Viroli
Designing Self-Organising Environments with Agents and Artefacts: A Simulation-Driven Approach (2008) — Luca Gardelli, Mirko Viroli, Matteo Casadei, Andrea Omicini
Artifacts in the A&A Meta-Model for Multi-Agent Systems (2008) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
An Adaptation Logic Framework for Java-based Component Systems (2008) — Enrico Oliva, Antonio Natali, Alessandro Ricci, Mirko Viroli
Lightweight Family Polymorphism (2008) — Chieri Saito, Atsushi Igarashi, Mirko Viroli
On the reification of Java wildcards (2008) — Maurizio Cimadamore, Mirko Viroli
A core calculus for correlation in orchestration languages (2007) — Mirko Viroli
Preface (2007) — Carlos Canal, Mirko Viroli
Variant path types for scalable extensibility (2007) — Atsushi Igarashi, Mirko Viroli
Guest Editorial (2007) — Davide Ancona, Mirko Viroli
Infrastructures for the Environment of Multiagent Systems (2007) — Mirko Viroli, Tom Holvoet, Alessandro Ricci, Kurt Schelfthout, Franco Zambonelli
Timed Environment for Web Agents (2007) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Infrastructure for RBAC-MAS: An Approach Based on Agent Coordination Contexts (2007) — Mirko Viroli, Andrea Omicini, Alessandro Ricci
Engineering a BPEL Orchestration Engine as a Multi-agent System (2007) — Mirko Viroli, Enrico Denti, Alessandro Ricci
Coordination as a Service (2006) — Mirko Viroli, Andrea Omicini
Variant Parametric Types: A Flexible Subtyping Scheme for Generics (2006) — Atsushi Igarashi, Mirko Viroli
Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies (2006) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Operating Instructions for Intelligent Agent Coordination (2006) — Mirko Viroli, Alessandro Ricci, Andrea Omicini
Agent Coordination Contexts in a MAS Coordination Infrastructure (2006) — Alessandro Ricci, Mirko Viroli, Andrea Omicini
On Access Restriction with Java Wildcards (2005) — Mirko Viroli, Giovanni Rimassa
Coordination Artifacts: A Unifying Abstraction for Engineering Environment-Mediated Coordination in MAS (2005) — Alessandro Ricci, Mirko Viroli
Environments in Multiagent Systems (2005) — Danny Weyns, Michael I. Schumacher, Alessandro Ricci, Mirko Viroli, Tom Holvoet
An Algebraic Approach for Modelling Organisation, Roles and Contexts in MAS (2005) — Andrea Omicini, Alessandro Ricci, Mirko Viroli
Guest Editorial (2004) — Davide Ancona, Mirko Viroli
Multi-agent Infrastructures for Objective and Subjective Coordination (2004) — Andrea Omicini, Alessandro Ricci, Mirko Viroli, Marco Cioffi, Giovanni Rimassa
A Type-Passing Approach for the Implementation of Parametric Methods in {Java} (2003) — Mirko Viroli
An Observation Approach to Semantics of Agents Communication Languages (2002) — Mirko Viroli, Andrea Omicini
Modelling Agents as Observable Sources (2002) — Mirko Viroli, Andrea Omicini
Multi-Agent Systems as Composition of Observable Systems (2001) — Mirko Viroli, Andrea Omicini
Parametric Polymorphism in Java: An Approach to Translation based on Reflective Feature (2000) — Mirko Viroli, Antonio Natali

72 articoli in rivista • in cima • indice • in fondo