1105 search results - page 72 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
CVPR
2005
IEEE
14 years 10 months ago
2005
IEEE
We present a new method to robustly and efficiently analyze foreground when we detect background for a fixed camera view by using mixture of Gaussians models and multiple cues. Th...
ICC
1997
IEEE
14 years 1 months ago
1997
IEEE
: We are concerned with a real-time quality of service (QOS) estimation method for ATM statistical multiplexers with heterogeneous ON/OFF sources. We propose a real-time modeling m...
CSREAESA
2010
13 years 6 months ago
2010
Moving object detection is essential for real-time surveillance; however, it is challenging to support moving object detection in a timely fashion due to the compute-intensive natu...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
We present the design of a computation engine for a real-time laparoscopic surgery simulator. Since this simulator requires realistic real-time and real-world behaviour, a physica...
ISOLA
2007
Springer
14 years 3 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...