3387 search results - page 381 / 678 » Model-Checking for Real-Time Systems |
162
Voted
LICS
2009
IEEE
16 years 2 months ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
197
click to vote
TAP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...
216
click to vote
ICIP
2003
IEEE
16 years 23 days ago
2003
IEEE
Driver’s fatigue/distraction is one of the most common causes of traffic accidents. The aim of this paper is to develop a real time system to detect anomalous situations while ...
229
click to vote
DAGM
2001
Springer
15 years 12 months ago
2001
Springer
In this work we describe a set of visual routines, which support a novel sensor free interface between a human and virtual objects. The visual routines detect, track and interpret ...
198
Voted
RTAS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper presents a survey of results in developing Real-Time CORBA, a standard for real-time management of distributed objects. The paper includes background on two areas that ...