4520 search results - page 531 / 904 » Algebraic Techniques for Timed Systems |
192
click to vote
SEKE
2005
Springer
16 years 11 days ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...
203
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
Publish/subscribe systems provide an efficient, event-based, wide-area distributed communications infrastructure. Large scale publish/subscribe systems are likely to employ compon...
201
click to vote
ISM
2006
IEEE
15 years 6 months ago
2006
IEEE
We describe an automatic classroom capture system that detects and records significant (stable) points in lectures by sampling and analyzing a sequence of screen capture frames fr...
218
click to vote
SIGMOD
2004
ACM
16 years 7 months ago
2004
ACM
StreaMon is the adaptive query processing engine of the STREAM prototype Data Stream Management System (DSMS) [4]. A fundamental challenge in many DSMS applications (e.g., network...
174
click to vote
MM
2009
ACM
16 years 1 months ago
2009
ACM
Progressive mesh streaming is increasingly used in 3D networked applications, such as online games, virtual worlds, and digital museums. To scale such applications to a large numb...