1514 search results - page 78 / 303 » Best-Order Streaming Model |
134
Voted
RISE
2004
Springer
15 years 9 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
95
Voted
MASCOTS
2000
15 years 5 months ago
2000
This paper describes three visually interactive tools for the analysis, modeling, and generation of long-range dependent (LRD) network traffic. The synTraff toolkit uses a three-s...
131
Voted
ICTIR
2009
Springer
15 years 10 months ago
2009
Springer
We address the problem of online term recurrence prediction: for a stream of terms, at each time point predict what term is going to recur next in the stream given the term occurre...
148
Voted
NOSSDAV
2009
Springer
15 years 10 months ago
2009
Springer
In recent years, integrated spatialized voice services have become an appealing application for networked virtual environments (NVE), e.g., Second Life. With a spatialized voice s...
107
Voted
GLOBECOM
2008
IEEE
15 years 10 months ago
2008
IEEE
Video streaming over peer-to-peer networks has received significant attention recently. Accordingly, much work is done on video streaming under the assumption that all the peers ...