1980 search results - page 67 / 396 » Compositional Model Checking of Real Time Systems |
100
click to vote
ISVC
2009
Springer
15 years 6 months ago
2009
Springer
In this paper, we present a system for performing real-time occlusion-aware interactions in a mixed reality environment. Our system consists of 16 ceiling-mounted cameras observing...
117
click to vote
FORMATS
2004
Springer
15 years 3 months ago
2004
Springer
We discuss the modeling and verification of real-time systems using the SAL model checker. A new modeling framework based on event calendars enables dense timed systems to be descr...
IFM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
100
click to vote
ESAW
2000
Springer
15 years 3 months ago
2000
Springer
We present a first approach that combines the mobile agent and the compositional paradigms into a new agent-based compositional model. The aim of this work is to explore the capabi...
115
click to vote
CBSE
2004
Springer
15 years 5 months ago
2004
Springer
Safety critical embedded real-time systems represent a class of systems that has attracted relatively little attention in research addressing component based software engineering. ...