CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
EnglishSelf-organization is a feasible metaphor for dealing with the growing complexity of today's software systems. Self-organization makes desired global system's behavior appear as an emergent property from component local interactions. The corresponding dynamics is usually non-linear so that the adoption of stochastic simulation and probabilistic model checking becomes essential in the early design stage. In this paper, as a reference example, a possible application of such techniques is shown on a problem called collective sort, whose emergent properties were analyzed by relying on the PRISM probabilistic model checker.
| Titolo: | Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems | |
| Autore/i: | CASADEI, MATTEO; VIROLI, MIRKO | |
| Autore/i Unibo: | ||
| Anno: | 2009 | |
| Titolo del libro: | Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC 2009) | |
| Pagina iniziale: | 2103 | |
| Pagina finale: | 2104 | |
| Digital Object Identifier (DOI): | http://dx.doi.org/10.1145/1529282.1529747 | |
| Abstract: | Self-organization is a feasible metaphor for dealing with the growing complexity of today's software systems. Self-organization makes desired global system's behavior appear as an emergent property from component local interactions. The corresponding dynamics is usually non-linear so that the adoption of stochastic simulation and probabilistic model checking becomes essential in the early design stage. In this paper, as a reference example, a possible application of such techniques is shown on a problem called collective sort, whose emergent properties were analyzed by relying on the PRISM probabilistic model checker. | |
| Data prodotto definitivo in UGOV: | 22-feb-2010 | |
| Appare nelle tipologie: | 4.01 Contributo in Atti di convegno |
File in questo prodotto:
Copyright © 2021