1980 search results - page 145 / 396 » Compositional Model Checking of Real Time Systems |
157
click to vote
ICWS
2009
IEEE
14 years 11 months ago
2009
IEEE
Web service-based workflow management systems have garnered considerable attention for automating and scheduling dependent operations. Such systems often support user preferences,...
105
click to vote
TPDS
2010
15 years 4 days ago
2010
—In this paper we propose and evaluate an overlay distribution algorithm for P2P, chunk-based, streaming systems over forest-based topologies. In such systems, the stream is divi...
119
Voted
WSC
2008
15 years 4 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 ...
125
click to vote
ICST
2009
IEEE
15 years 8 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
110
click to vote
MIR
2003
ACM
15 years 7 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...