5639 search results - page 46 / 1128 » Timed Abstract Non-interference |
SEUS
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract. We consider the problem of programming distributed embedded real-time systems with distributed dependencies. We show that the de facto standard of using locks and conditi...
RTSS
2002
IEEE
15 years 4 months ago
2002
IEEE
abstractions + algorithms For Robustness to Timing Faults A new optimality criterion + algorithms
130
click to vote
CAV
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper, we describe the features of the Timed Abstract State Machine toolset. The toolset implements the features of the Timed Abstract State Machine (TASM) langua...
FORMATS
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
ICPP
1996
IEEE
15 years 4 months ago
1996
IEEE
Abstract