1514 search results - page 78 / 303 » Best-Order Streaming Model |
162
click to vote
RISE
2004
Springer
15 years 11 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...
120
click to vote
MASCOTS
2000
15 years 7 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...
162
click to vote
ICTIR
2009
Springer
16 years 22 days 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...
170
click to vote
NOSSDAV
2009
Springer
16 years 22 days 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...
142
click to vote
GLOBECOM
2008
IEEE
16 years 19 days 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 ...