130 search results - page 14 / 26 » A Simple Model for Analyzing P2P Streaming Protocols |
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
When multiple video sources are live-encoded and transmitted over a common wireless network, each stream needs to adapt its encoding parameters to wireless channel fluctuations, ...
CAV
2004
Springer
13 years 11 months ago
2004
Springer
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—A common application of unattended sensor networks (WSN) is low data rate streaming from many scattered sensors to one or more sink nodes. To meet the stringent requirement of p...
POLICY
2005
Springer
14 years 1 months ago
2005
Springer
We add a simple policy-based control component to mobile hosts that enables them to control the continuous reception of live multimedia content (e.g. a TV broadcast) while they sw...
FOSAD
2009
Springer
14 years 2 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...