1980 search results - page 101 / 396 » Compositional Model Checking of Real Time Systems |
105
click to vote
VLDB
1998
ACM
15 years 5 months ago
1998
ACM
The design of secure buffer managers for database systems supporting real-time applications with firm deadlines is studied here. We first identify the design challenges and then p...
100
click to vote
CONCUR
1999
Springer
15 years 6 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...
141
click to vote
FMOODS
2007
15 years 3 months ago
2007
This paper describes the application of Real-Time Maude to the formal specification, simulation, and further formal analysis of the sophisticated state-of-the-art OGDC wireless se...
ENTCS
2010
15 years 1 months ago
2010
The crucial strength of the component paradigm lies in the possibility to encapsulate behaviours. In this work, we focus on the observable behaviour of composite components which ...
129
click to vote
IJCAI
2003
15 years 3 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...