Sciweavers

1514 search results - page 78 / 303
» Best-Order Streaming Model
Sort
View
113
Voted
RISE
2004
Springer
15 years 7 months ago
A Symbolic Model Checker for tccp Programs
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...
María Alpuente, Moreno Falaschi, Alicia Vil...
MASCOTS
2000
15 years 3 months ago
The synTraff Suite of Traffic Modeling Toolkits
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...
Ram Balakrishnan, Carey L. Williamson
ICTIR
2009
Springer
15 years 8 months ago
Time-Sensitive Language Modelling for Online Term Recurrence Prediction
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...
Dell Zhang, Jinsong Lu, Robert Mao, Jian-Yun Nie
130
Voted
NOSSDAV
2009
Springer
15 years 8 months ago
Cross-tree adjustment for spatialized audio streaming over networked virtual environments
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...
Ke Liang, Roger Zimmermann
89
Voted
GLOBECOM
2008
IEEE
15 years 8 months ago
PeerGraph: A Distributed Data Structure for Peer-to-Peer Streaming
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 ...
Ali Saman Tosun, Turgay Korkmaz