4520 search results - page 427 / 904 » Algebraic Techniques for Timed Systems |
207
click to vote
ENTCS
2002
15 years 7 months ago
2002
We report on the automatic verification of timed probabilistic properties of the IEEE 1394 root contention protocol combining two existing tools: the real-time modelchecker Kronos...
184
click to vote
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
Tracking is frequently considered a frame-to-frame operation. As such, object recognition techniques are generally too slow to be used for tracking. There are domains, however, wh...
214
click to vote
EDBT
2004
ACM
16 years 7 months ago
2004
ACM
Given the current trend towards application interoperability and XML-based data integration, there is an increasing need for XML interfaces to relational database management system...
147
click to vote
MHCI
2009
Springer
16 years 2 months ago
2009
Springer
We present PocketDRAGON, a demonstrator prototype that allows direct manipulation video navigation on mobile touchscreen devices. In contrast to traditional video navigation techn...
150
click to vote
VTC
2007
IEEE
16 years 2 months ago
2007
IEEE
— A preamble technique for synchronization and channel estimation introduces transmission delay and wastes capacity unavoidably due to the time loss before data transmission. In ...