7080 search results - page 728 / 1416 » Designing High Integrity Systems Using Aspects |
176
click to vote
CDC
2009
IEEE
15 years 12 months ago
2009
IEEE
— In this paper we propose an approach to control design of nonlinear time–delay systems, which is based on the construction of symbolic models, where each symbolic state and e...
212
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...
190
click to vote
CDC
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper concerns the study of the optimal performance computation of a semi-active suspension evaluated in terms of comfort and handling performances. To this aim the semi-activ...
211
click to vote
FLAIRS
2004
15 years 8 months ago
2004
As the complexity of industrial processes increases, it requires the use of intelligent sensors or actuators (known as Intelligent Instruments) to allow for more comprehensive and...
190
click to vote
COMPSAC
2001
IEEE
15 years 11 months ago
2001
IEEE
Designers of component-based software face two problems related to dealing with abnormal events: developing exception handling at the level of the integrated system and accommodat...