5506 search results - page 667 / 1102 » Visualizing Software Changes |
176
click to vote
IWSAS
2001
Springer
15 years 10 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...
146
click to vote
IWSAS
2001
Springer
15 years 10 months ago
2001
Springer
We present an approach to self-adaptive systems utilizing explicit models of the design-space of the application. The design-space is captured by allowing the specification of alte...
158
click to vote
AMAST
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we investigate the object-oriented notion of subtyping in the context of behavioural formalisms. Subtyping in OOformalisms is closely related to the concept of inheri...
142
click to vote
EUROMICRO
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper proposes and evaluates error detection and recovery mechanisms suitable for embedded systems. The purpose of these mechanisms is to provide detection of and recovery fr...
178
click to vote
EUROMICRO
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control...