9210 search results - page 87 / 1842 » Analyzing Real-Time Systems |
105
click to vote
ICIAR
2007
Springer
15 years 2 months ago
2007
Springer
This paper presents a novel surveillance video indexing and retrieval system based on object features similarity measurement. The system firstly extracts moving objects from the vi...
ECRTS
2004
IEEE
15 years 2 months ago
2004
IEEE
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
96
Voted
CBMS
1995
IEEE
15 years 2 months ago
1995
IEEE
We present the design and implementation of a digital image capture and distribution system that supports remote ultrasound ezaminations and, in particular, real-time diagnosis fo...
112
click to vote
RTSS
1995
IEEE
15 years 2 months ago
1995
IEEE
E cient automatic model-checking algorithms for real-time systems have been obtained in recent years based on the state-region graph technique of Alur, Courcoubetis and Dill. Howe...
81
Voted
SNPD
2008
15 years 14 days ago
2008
This paper focuses on studying efficient solutions for modeling and deriving compositional tests for component-based real-time systems. In this work, we propose a coherent framewo...