503 search results - page 5 / 101 » Real-time Property Preservation in Approximations of Timed S... |
117
click to vote
FMICS
2008
Springer
15 years 2 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
118
click to vote
ISOLA
2007
Springer
15 years 7 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
119
click to vote
ECRTS
2004
IEEE
15 years 5 months ago
2004
IEEE
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
139
click to vote
ECRTS
2009
IEEE
14 years 11 months ago
2009
IEEE
Allocation of bandwidth among components is a fundamental problem in compositional real-time systems. Stateof-the-art algorithms for bandwidth allocation use either exponential-ti...
103
click to vote
ICDE
1994
IEEE
15 years 5 months ago
1994
IEEE
During the past few years, several studies have been made on the performance of real-time database systems with respect to the number of transactions that miss their deadlines. Th...