1980 search results - page 41 / 396 » Compositional Model Checking of Real Time Systems |
104
click to vote
FORMATS
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. We investigate layered composition for real-time systems modelled as (networks of) timed automata (TA). We first formulate the principles of layering and transition indep...
179
click to vote
ICDE
2008
IEEE
16 years 1 months ago
2008
IEEE
We introduce Pulse, a framework for processing continuous queries over models of continuous-time data, which can compactly and accurately represent many real-world activities and p...
115
click to vote
CONCUR
1999
Springer
15 years 4 months ago
1999
Springer
d abstract) Christel Baiera, Joost-Pieter Katoenb;c and Holger Hermannsc aLehrstuhl fur Praktische Informatik II, University of Mannheim 68131 Mannheim, Germany bLehrstuhl fur Info...
100
click to vote
ICPADS
1998
IEEE
15 years 4 months ago
1998
IEEE
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...
RTSS
1998
IEEE
15 years 4 months ago
1998
IEEE