Filters








10 Hits in 4.1 sec

On-the-fly PCTL fast mean-field approximated model-checking for self-organising coordination

Diego Latella, Michele Loreti, Mieke Massink
2015 Science of Computer Programming  
The proposed procedure combines on-the-fly model-checking techniques with deterministic mean-field approximation in discrete time.  ...  We present a novel scalable, on-the-fly approximated model-checking procedure to verify bounded PCTL properties of selected individuals in the context of very large systems of independent interacting objects  ...  The authors thank the anonymous Reviewers for their accurate and constructive comments.  ... 
doi:10.1016/j.scico.2015.06.009 fatcat:e6pbss7menelzml3fqqb2upgem

Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)

Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli, Marc Herbstritt
2015 Dagstuhl Reports  
Besides presentations on current work in the area, the seminar focused on the following topics: (i) Modelling techniques and languages for collective adaptive systems based on the above formalisms.  ...  This report documents the program and the outcomes of Dagstuhl Seminar 14512 "Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis".  ...  On-the-fly Fast Mean Field Model Checking for Collective Adaptive Systems Mieke Typical self-organising collective systems consist of a large number of interacting objects that coordinate their activities  ... 
doi:10.4230/dagrep.4.12.68 dblp:journals/dagstuhl-reports/HillstonPWZ14 fatcat:65ubygwg6zht3pdl4mgynl2knq

Self-organising coordination systems

Matteo <1977> Casadei, Antonio Natali
2009
The resulting framework defines a novel coordination paradigm, called self-organising coordination, based on the idea of spreading coordination media over the network, and charge them with services to  ...  Many research fields are pushing the engineering of large-scale, mobile, and open systems towards the adoption of techniques inspired by self-organisation: pervasive computing, but also distributed artificial  ...  model checking so as to provide an approximated technique for self-organising-system verification.  ... 
doi:10.6092/unibo/amsdottorato/2116 fatcat:jzbu2kloprdptlslpndsuqbj6q

Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis

Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli, Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli, Jane Hillston, Jeremy Pitt, Martin Wirsing, Franco Zambonelli (+1 others)
Dagstuhl Reports   unpublished
Besides presentations on current work in the area, the seminar focused on the following topics: (i) Modelling techniques and languages for collective adaptive systems based on the above formalisms.  ...  This report documents the program and the outcomes of Dagstuhl Seminar 14512 "Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis".  ...  On-the-fly Fast Mean Field Model Checking for Collective Adaptive Systems Mieke Typical self-organising collective systems consist of a large number of interacting objects that coordinate their activities  ... 
fatcat:lrc53fp34rcffjivymql54guua

Ingegneria di Sistemi Auto-organizzanti con il Paradigma Multiagente

Autore Luca, Gardelli Coordinatore, Bassi Paolo, Relatore, Natali Antonio, Correlatori, Omicini Andrea, Dott, Ing, Mirko Viroli
2007 unpublished
During the modelling phase we mainly rely on the existence of a self-organising strategy observed in Nature and, hopefully encoded as a design pattern.  ...  In this context, we propose a scientific approach for the early design stage of the engineering of self-organising systems: the process is an iterative one and each cycle is articulated in four stages,  ...  The first one is where is the right loci for embedding self-organising mechanisms.  ... 
fatcat:zg52e5zgg5aujgtjfo2v2k7kre

The Synergy Between Programming Languages and Cryptography (Dagstuhl Seminar 14492) Programming Languages for Big Data (PlanBig) (Dagstuhl Seminar 14511) Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)

Dieter Gollmann, Cormac Herley, Vincent Koenig, Wolter Pieters, Martina Angela, Gilles Barthe, Michael Hicks, Florian Kerschbaum, Dominique Unruh, James Cheney, Torsten Grust, Dimitrios (+4 others)
2014 unpublished
We would like to thank Jonathan Katz for his initial involvement in organizing the seminar and Matthew Hammer for his help in preparing this report. References  ...  Conclusions We feel that metrics should play a larger role in supporting treatment validation, lowering the reliance on randomly available anecdotes to validate (often expensive to implement) treatments  ...  Stochastic Coordination in CAS: Expressiveness and Predictability On-the-fly Fast Mean Field Model Checking for Collective Adaptive Systems Mieke Typical self-organising collective systems consist of  ... 
fatcat:7wtqx2fytzaafjgvthawub66h4

Organic Computing

(:Unkn) Unknown, Universität Kassel, Sven Tomforde, Christian Krupitzer
2021
Acknowledgements The authors would like to thank the German research foundation (Deutsche Forschungsgemeinschaft, DFG) for the financial support in the context of the "Organic Computing Techniques for  ...  Runtime Self-Adaptation of Multi-Modal Activity Recognition Systems" project (SI 674/12-1, LU 1574/2-1).  ...  Middleware for Self-organising Real-Time Task Allocation.  ... 
doi:10.17170/kobra-202103173535 fatcat:wzlt3ciljzejfdg5ahfc7iwreq

Quality of Experience: From Assessment to Application (Dagstuhl Seminar 15022) Understanding Complexity in Multiobjective Optimization (Dagstuhl Seminar 15031) Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041) Artificial and Computational Intelligence in Games: Integration (Dagstuhl Seminar 15051)

Michael Philippsen, Pascal Felber, Michael Scott, J Eliot, Katrien De Moor, Markus Fiedler, Peter Reichl, Martín Varela, Salvatore Greco, Kathrin Klamroth, Joshua Knowles, Günter Rudolph (+13 others)
2015 unpublished
The research field of artificial and computational intelligence in games focuses on the wide variety of advanced computational techniques used to create, enhance, and improve the experiences of humans  ...  The example problems mentioned in this report may serve as a first benchmark for such approaches.  ...  An Extensible Model-driven Architecture for Controlled Self-organisation Models provide formal means to define a system's objectives and runtime state -these offer necessary knowledge for controlling the  ... 
fatcat:ckaercgotnenhidbwsz7zufttq

Connecting Performance Analysis and Visualization to Advance Extreme Scale Computing (Dagstuhl Seminar 14022) Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031) Planning with Epistemic Goals (Dagstuhl Seminar 14032)

Frederik Armknecht, Helena Handschuh, Tetsu Iwata, Bart, Bernd Bremer, Valerio Mohr, Martin Pascucci, Schulz, Erika Ábrahám, Alberto Avritzer, Anne Remke, William Sanders (+13 others)
2014 unpublished
For example, Probabilistic CTL (PCTL) properties for DTMCs can be checked efficiently by solving systems of linear equations.  ...  needed for improving the current approximation on the given target.  ...  Lastly we give some recent results on the network coding gap for broadcast in the radio network model [1] .  ... 
fatcat:iqk466everfcdhf5guvz5ph2ee

DEPEND 2011 Committee DEPEND Advisory Chairs

Pascal Lorenz, Syed Naqvi, Sergio Hidalgo, Manuel Gil Perez, Reijo Savola, Sergio Hidalgo, Manuel Gil Perez, Afonso Neto, Yudistira Dwi, Wardhana Asnar, Jorge Bernal Bernabé, Nicola Dragoni (+47 others)
2011 DEPEND 2011 The Fourth International Conference on Dependability Foreword The Fourth International Conference on Dependability   unpublished
control and self-management are some of the key topics requiring special treatment.  ...  Static and dynamic dependability, time-oriented, or timeless dependability, dependability perimeter, dependability models, stability and convergence on dependable features and systems, and dependability  ...  We also gratefully thank the members of the DEPEND 2011 organizing committee for their help in handling the logistics and for their work that is making this professional meeting a success.  ... 
fatcat:yzdyhvwddfhu3aidycnpz742fm