Per anno
4
presentazioni
/
2006
/
Mirko Viroli
- A Case of Self-Organising Environment for MAS: the Collective Sort Problem (presentazione, EUMAS 2006) — Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)
- Collective Sorting Tuple Spaces (presentazione, WOA 2006) — Matteo Casadei (Matteo Casadei, Mirko Viroli, Luca Gardelli)
- Engineering the environment of self-organizing multi-agent systems exploiting formal analysis tools (presentazione, AICA 2006) — Matteo Casadei (Luca Gardelli, Mirko Viroli, Matteo Casadei)
- Simulating Emergent Properties of Coordination in Maude: the Collective Sorting Case (presentazione, FOCLASA 2006: satellite workshop of the 17th International Conference on Concurrency Theory (CONCUR 2006)) — Matteo Casadei (Matteo Casadei, Luca Gardelli, Mirko Viroli)