1980 search results - page 126 / 396 » Compositional Model Checking of Real Time Systems |
128
click to vote
DFG
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
141
click to vote
AB
2007
Springer
15 years 8 months ago
2007
Springer
A series of papers, all under the title of Algorithmic Algebraic Model Checking (AAMC), has sought to combine techniques from algorithmic algebra, model checking and dynamical syst...
ICECCS
2005
IEEE
15 years 7 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
107
click to vote
INTERACT
2003
15 years 3 months ago
2003
: In this paper we present the affective message box, a dialog box that employs a real time head gesture recognition system as its input modality. Head nods and shakes correspond t...
143
click to vote
RTSS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper addresses the problem of scheduling realtime dwells in multi-function phase array radar systems. To keep track of targets, a radar system must meet its timing and energ...