Enter a brief description of your changes
(Required)
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE
Self-Adaptive and Self-Organizing Systems Workshops (SASOW), pages 193–198
IEEE Computer Society
April 2013
Complex computational systems are often intrinsically unpredictable even for the engineers designing them: understanding their possible evolution over time is typically required, for instance in order to match some application requirements. In this paper, we first survey some of the most promising and effective techniques for the analysis and prediction of complex computational systems, then we focus on SAPERE-coordinated pervasive ecosystems. We identify the most essential elements of the SAPERE coordination model, select two techniques - model checking and data mining -, and derive two possible approaches to the analysis and prediction of the behaviour of SAPERE systems.
keywordsSAPERE coordination model, behaviour prediction, data mining, model checking, pervasive ecosystems
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (ASENSIS 2012 @ SASO 2012, 10/09/2012) — Andrea Omicini (Andrea Omicini, Marco Alberti)
Towards the Analysis & Prediction of Complex System Behaviour in SAPERE (paper in proceedings, 2012) — Marco Alberti, Andrea Omicini