1980 search results - page 41 / 396 » Compositional Model Checking of Real Time Systems |
149
Voted
FORMATS
2010
Springer
15 years 18 days 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...
207
Voted
ICDE
2008
IEEE
16 years 4 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...
145
Voted
CONCUR
1999
Springer
15 years 6 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...
128
Voted
ICPADS
1998
IEEE
15 years 6 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...
111
Voted
RTSS
1998
IEEE
15 years 6 months ago
1998
IEEE