523 search results - page 97 / 105 » Online Testing of Real-time Systems Using Uppaal |
CLEF
2006
Springer
13 years 9 months ago
2006
Springer
This paper presents the second participation of the University of Ottawa group in the Cross-Language Speech Retrieval (CL-SR) task at CLEF 2006. We present the results of the submi...
IADIS
2004
13 years 9 months ago
2004
As e-commerce is considered an excellent alternative for business to reach new customers, interests in design principles for e-commerce websites, are increasing. However, not many...
DSRT
2004
IEEE
13 years 11 months ago
2004
IEEE
State-of-the-art Massively Multiplayer Games such as EverQuest and Ultima Online are currently implemented as client-server systems. Although this approach allows the development ...
HICSS
2002
IEEE
14 years 15 days ago
2002
IEEE
This report introduces a hybrid asynchronous, distributed audio/video group conferencing system. One of the chief benefits of Internet communication systems is that they allow com...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
Continuous time-series sequence matching, specifically, matching a numeric live stream against a set of predefined pattern sequences, is critical for domains ranging from fire spr...