1980 search results - page 76 / 396 » Compositional Model Checking of Real Time Systems |
104
click to vote
ECRTS
2004
IEEE
15 years 3 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...
111
click to vote
PRDC
2005
IEEE
15 years 5 months ago
2005
IEEE
Although the main fault-tolerance techniques are known for a long time, there exists no consistent approach for implementing dependable applications in the sense that the fault-to...
ICCAD
2003
IEEE
15 years 8 months ago
2003
IEEE
Energy consumption is an important performance parameter for portable and wireless embedded systems. However, energy consumption must be carefully balanced with real-time responsi...
121
click to vote
WORDS
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
ICDE
1994
IEEE
15 years 4 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...