548 search results - page 12 / 110 » Adding Real Time to Formal Program Development |
156
click to vote
CP
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a cooperation technique using an accurate management of nogoods to solve a hard real-time problem which consists in assigning periodic tasks to processors in t...
165
click to vote
RAID
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. In practice, most computer intrusions begin by misusing programs in clever ways to obtain unauthorized higher levels of privilege. One e ective way to detect intrusive ac...
157
click to vote
ERSHOV
2003
Springer
15 years 11 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
176
click to vote
ICDCS
2002
IEEE
15 years 10 months ago
2002
IEEE
In this paper, we focus our attention on the problem of automating the addition of failsafe fault-tolerance where fault-tolerance is added to an existing (fault-intolerant) progra...
173
click to vote
FORMATS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The design of critical embedded real-time systems requires high confidence in the architecture and the implemented functionalities. Classically, such functions are suppor...