921 search results - page 133 / 185 » On Interleaving in Timed Automata |
EDBT
2002
ACM
15 years 12 months ago
2002
ACM
Web logs collected by proxy servers, referred to as proxy logs or proxy traces, contain information about Web document accesses by many users against many Web sites. This "man...
MM
2004
ACM
15 years 5 months ago
2004
ACM
We propose a framework to achieve bandwidth efficient, error robust and bitrate scalable audio streaming. Our approach is compatible with most audio compression format. The main c...
ISCA
1996
IEEE
15 years 4 months ago
1996
IEEE
In an effort to push the envelope of system performance, microprocessor designs are continually exploiting higher levels of instruction-level parallelism, resulting in increasing ...
105
click to vote
KDD
2010
ACM
15 years 3 months ago
2010
ACM
Periodicity is a frequently happening phenomenon for moving objects. Finding periodic behaviors is essential to understanding object movements. However, periodic behaviors could b...
112
click to vote
TACAS
2010
Springer
14 years 9 months ago
2010
Springer
Systems and protocols combining concurrency and infinite state space occur quite often in practice, but are very difficult to verify automatically. At the same time, if the system ...