Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis (Dagstuhl Seminar 14512)
Explore this paper's citation graph
Summary
This report documents the program and the outcomes of Dagstuhl Seminar 14512 "Collective Adaptive Systems: Qualitative and Quantitative Modelling and Analysis".
- Type
- article
- Published
- 2014-01-01
- Cited by
- 19
- References
- 125
- Access
- Open access
- OpenAlex
- https://openalex.org/W2261790196
- Semantic Scholar
- https://api.semanticscholar.org/CorpusID:12369915
Keywords
Rotation formalisms in three dimensions, Computer science, Qualitative analysis, Complex adaptive system, Qualitative research
References
- The price of incivility.
- Incentives Build Robustness in Bit-Torrent
- ACUOS: A System for Modular ACU Generalization with Subtyping and Inheritance
- Principles of model checking
- An Approach to Ad hoc Cloud Computing
- ADDRESS: Scenarios and architecture for Active Demand development in the smart grids of the future
- Agents & multiagent systems: En route towards complex intelligent systems
- Inter‐Cloud architectures and application brokering: taxonomy and survey
- Adaptive deployment in ad-hoc systems using emergent component ensembles: vision paper
- Resource allocation in decentralised computational systems: an evolutionary market-based approach
- Runtime Change of Collaboration Patterns in Autonomic Systems: Motivations and Perspectives
- Self-adaptive software needs quantitative verification at runtime
- Reflective pervasive systems
- Continuous Markovian Logics - Axiomatization and Quantified Metatheory
- A class of mean field interaction models for computer and communication systems
- Power and performance management of virtualized computing environments via lookahead control
- Live migration of virtual machines
- From Self-Organizing Mechanisms to Design Patterns to Engineering Self-Organizing Applications
- Attention Management in Pervasive Computing
- Markovian agents models for wireless sensor networks deployed in environmental protection
Cited by
- An Approach for Collective Adaptation in Socio-Technical Systems
- Design and Verification of Trusted Collective Adaptive Systems
- The Sharer's Dilemma in Collective Adaptive Systems of Self-Interested Agents
- Conceptual Framework for Ubiquitous Cyber-Physical Assembly Systems in Airframe Assembly
- ViTALiSE: Virtual to Augmented Loop in Smart Environments
- Stochastic modelling of spatial collective adaptive systems
- Language Abstractions and Techniques for Developing Collective Adaptive Systems Using Context-oriented Programming
- Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III
- A kinetic approach to investigate the collective dynamics of multi-agent systems
- A toolchain for strategy synthesis with spatial properties
- Programming IoT systems: A focused conceptual framework and survey of approaches
- Design and Verification of Trusted Collective Adaptive Systems
- Guest Editorial for the Special Issue on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST)
- A Collective Adaptive Socio-Technical System for Remote- and Self-supervised Exercise in the Treatment of Intermittent Claudication
- The Meaning of Adaptation: Mastering the Unforeseen?
- Collective Adaptation of Socio-Technical Systems
- A Library and Scripting Language for Tool Independent Simulation Descriptions
- Coordination of Complex Socio-Technical Systems: Challenges and Opportunities
Related papers
- The Dagstuhl Perspectives Workshop on Performance Modeling and Prediction
- Applied general systems research : recent developments and trends : [proceedings of the NATO international conference held in Binghamton, New York, August 15-19, 1977, sponsored by the NATO Special Program Panel on Systems Science
- 10031 Executive Summary - Quantitative Models: Expressiveness and Analysis
- Qualitative simulation and related approaches for the analysis of dynamic systems
- Qualitative Physics Dealing with the Complex System
- Interaction of intelligent and autonomous systems – part I: qualitative structuring of interaction
- Research on Knowledge Modeling and Joint Simulation Method of Complex Qualitative System
- A multimodel methodology for qualitative model engineering