537 search results - page 13 / 108 » Digital Evolution of Behavioral Models for Autonomic Systems |
IROS
2006
IEEE
15 years 3 months ago
2006
IEEE
Information processing within autonomous robots should follow a biomimetic approach. In contrast to traditional approaches that make intensive use of accurate measurements, numeric...
MODELS
2010
Springer
14 years 7 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
ENTCS
2010
14 years 9 months ago
2010
In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for modeling self-adaptive systems. In this model, policies are used as a mechanism to d...
95
Voted
IWSAS
2001
Springer
15 years 1 months ago
2001
Springer
We seek to construct autonomous adaptive survivable systems that use active trust management to adapt their own behavior in the face of compromises in the computational environment...
FDL
2006
IEEE
15 years 1 months ago
2006
IEEE
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...