6
lavori
/
non pubblicati
- A Framework to Specify and Verify Computational Fields for Pervasive Systems (articolo in rivista) — Matteo Casadei, Mirko Viroli
- Building an Agent Methodology from Fragments: the MEnSA experience (articolo in atti) — Mariachiara Puviani, Massimo Cossentino, Giacomo Cabri, Ambra Molesini
- Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems (rapporto tecnico) — Matteo Casadei, Mirko Viroli
- The “Self-organising Coordination” Paradigm in the Software Engineering of SOS (altro tipo di pubblicazione) — Mirko Viroli, Andrea Omicini
- An Approach Based on Web Standards to the Semantic Coordination of Pervasive Service Ecosystems (articolo in atti) — Graeme Stevenson, Simon Dobson, Mirko Viroli, Elena Nardini
- Augmented Rescuers for Healthcare Emergency (articolo in atti) — Angelo Croatti, Alessandro Ricci
6 non pubblicati •
in cima •
indice •
in fondo
