1105 search results - page 85 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
ICPP
2007
IEEE
14 years 3 months ago
2007
IEEE
The real-time image forming in future, high-end synthetic aperture radar systems is an example of an application that puts new demands on computer architectures. The initial quest...
ISORC
2007
IEEE
14 years 3 months ago
2007
IEEE
As quality of service (QoS)-enabled component middleware technologies gain widespread acceptance to build distributed real-time and embedded (DRE) systems, it becomes necessary fo...
HASE
1997
IEEE
14 years 1 months ago
1997
IEEE
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
WSC
2008
13 years 11 months ago
2008
This paper studies the problem of real time yard crane dispatching in container terminals. Many technologies, including transponders, RFID and GPS have been used in the container ...
MIR
2003
ACM
14 years 2 months ago
2003
ACM
This paper proposes a method to automatically extract highlight scenes from sports (baseball) live video in real time and to allow users to retrieve them. For this purpose, sophis...