11436 search results - page 375 / 2288 » Modeling Real Reasoning |
154
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...
157
click to vote
ECOOP
1995
Springer
15 years 8 months ago
1995
Springer
Abstract. This paper presents a framework of specification and verification for distributed real-time object-oriented systems. An earlier paper [17] introduced a process calculus...
206
Voted
VISUALIZATION
1995
IEEE
15 years 8 months ago
1995
IEEE
Advances in computer graphics hardware and algorithms, visualization, and interactive techniques for analysis offer the components for a highly integrated, efficient real-time 3D ...
178
click to vote
CRV
2005
IEEE
15 years 6 months ago
2005
IEEE
In this paper, we present an approach for video surveillance involving (a) moving object detection, (b) tracking and (c) normal/abnormal event recognition. The detection step uses...
146
click to vote
ECRTS
2008
IEEE
15 years 6 months ago
2008
IEEE
Modern real-time systems must be designed to be highly adaptable, reacting to aperiodic events in a predictable manner and exhibiting graceful degradation in overload scenarios wh...