13977 search results - page 760 / 2796 » Evolution in complex systems |
168
click to vote
ECAI
2008
Springer
15 years 9 months ago
2008
Springer
This article formalises the dual problem to model-based diagnosis (MBD), i.e., generating tests to isolate multiple simultaneous faults. Using a standard propositional MBD framewo...
175
click to vote
EVOW
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. This paper introduces AtomSwarm, a framework for soundbased performance using swarm dynamics. The classical ruleset for flocking simulations is augmented with genetically...
194
click to vote
HICSS
2005
IEEE
16 years 1 months ago
2005
IEEE
Recently, peer-to-peer systems have become widely accepted and are probably the most recognizable examples of distributed applications. As they are maturing and their functionalit...
163
click to vote
WORDS
2003
IEEE
16 years 26 days ago
2003
IEEE
The paper presents an UML profile which defines a language for specifying, visualizing, analysing and documenting dependability mechanisms. It helps to cope with the complexity of...
209
click to vote
CSL
2006
Springer
15 years 7 months ago
2006
Springer
Model-checking problems for PDL (propositional dynamic logic) and its extension PDL (which includes the intersection operator on programs) over various classes of infinite state sy...