2838 search results - page 306 / 568 » Verifying Controlled Components |
133
click to vote
RSP
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper presents an algorithm for the automatic mapping of problem specifications to existing architecture templates. The proposed methodology supports the combination of exist...
164
click to vote
RTAS
1998
IEEE
15 years 6 months ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
121
click to vote
ACSAC
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper concentrates on one particular aspect of providing communication security: rewalls between domains of trust. We argue that signaling support for providing scalable secu...
105
click to vote
HASE
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper deals with the modelling and evaluation of mission-phased systems devoted to space applications. We propose a two level hierarchical method that allows to model such sy...
115
click to vote
CGI
2004
IEEE
15 years 6 months ago
2004
IEEE
Creating long animation sequences with non-trivial repetitions is a time consuming and often difficult task. This is true for 2D images and even more true for 3D sequences. Based ...