Sciweavers

1973 search results - page 194 / 395
» Gossip based streaming
Sort
View
RISE
2004
Springer
15 years 9 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...
ICASSP
2010
IEEE
15 years 2 months ago
On-the-fly video genre classification by combination of audio features
Video genre identification methods are frequently based on image or motion analysis, which are relatively timeconsuming processes. Since such approaches are tractable by batch pro...
Mickael Rouvier, Georges Linares, Driss Matrouf
MSWIM
2009
ACM
15 years 11 months ago
Directional neighbor discovery in 60 GHz indoor wireless networks
The unlicensed 60 GHz band brings the promise of multi-gigabit data rates to support new applications such as high definition video over wireless links. Signal propagation in the...
Jianxia Ning, Tae-Suk Kim, Srikanth V. Krishnamurt...
ICIP
2005
IEEE
16 years 6 months ago
Distributed rate allocation for multi-stream video transmission over ad hoc networks
When multiple video streams are present in an ad hoc network, they share and compete for the common network resources. A rate allocation algorithm must balance the available resou...
Xiaoqing Zhu, Bernd Girod
POLICY
2007
Springer
15 years 10 months ago
Specifying and Enforcing High-Level Semantic Obligation Policies
Obligation Policies specify management actions that must be performed when a particular kind of event occurs and certain conditions are satisfied. Large scale distributed systems...
Zhen Liu, Anand Ranganathan, Anton Riabov