A Universal Self-Organization Mechanism for Role-Based Organic Computing Systems
ATC '09 Proceedings of the 6th International Conference on Autonomic and Trusted Computing
A formal framework for compositional verification of organic computing systems
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Designing self-healing in automotive systems
ATC'10 Proceedings of the 7th international conference on Autonomic and trusted computing
Ensuring correct self-reconfiguration in safety-critical applications by verified result checking
Proceedings of the 2011 workshop on Organic computing
Information and Software Technology
On deadlocks and fairness in self-organizing resource-flow systems
ARCS'10 Proceedings of the 23rd international conference on Architecture of Computing Systems
A survey of formal methods in self-adaptive systems
Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
Hi-index | 0.00 |
This paper is concerned with the basic laws describing the essential aspects of collective motion being one of the most common and spectacular manifestation of coordinated actions. Our purpose is to discuss models that are both simple and realistic enough ...