Sciweavers

2811 search results - page 74 / 563
» Real-Time Component-Based Systems
Sort
View
ICIAR
2007
Springer
14 years 22 days ago
Object-Based Surveillance Video Retrieval System with Real-Time Indexing Methodology
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...
Jacky S-C. Yuk, Kwan-Yee Kenneth Wong, Ronald H. Y...
ECRTS
2004
IEEE
14 years 18 days ago
An Event Stream Driven Approximation for the Analysis of Real-Time Systems
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...
Karsten Albers, Frank Slomka
CBMS
1995
IEEE
14 years 13 days ago
Design and Implementation of a Digital Teleultrasound System for Real-Time Remote Diagnosis
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...
John W. Sublett, Bert J. Dempsey, Alfred C. Weaver
RTSS
1995
IEEE
14 years 12 days ago
Compositional and Symbolic Model-Checking of Real-Time Systems
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...
Kim Guldstrand Larsen, Paul Pettersson, Wang Yi
CGVR
2006
13 years 10 months ago
Remote Move-Related Operation Awareness in Real-Time Internet-Based Collaborative Graphics Design Systems
Supporting awareness of other cooperators is an idea that holds promise for improving the usability of real-time distributed collaborative graphics design systems. However, networ...
Bo Jiang, Jianxv Yang