Sciweavers

33 search results - page 5 / 7
» Recovery Protocols in Multi-Agent Probabilistic Reasoning Sy...
Sort
View
ICC
2007
IEEE
150views Communications» more  ICC 2007»
14 years 4 months ago
Hybrid Protocol for Application Level Multicast for Live Video Streaming
—A hybrid protocol for application level multicast (HPAM) for live video streaming without native IP multicast support is proposed. HPAM exploits the simplicity and optimality of...
Chai Kiat Yeo, Bu-Sung Lee, Meng Hwa Er
ICDCS
2003
IEEE
14 years 3 months ago
Neighbor Table Construction and Update in a Dynamic Peer-to-Peer Network
In a system proposed by Plaxton, Rajaraman and Richa (PRR), the expected cost of accessing a replicated object was proved to be asymptotically optimal for a static set of nodes an...
Huaiyu Liu, Simon S. Lam
CSFW
2006
IEEE
14 years 3 months ago
Computationally Sound Compositional Logic for Key Exchange Protocols
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
Anupam Datta, Ante Derek, John C. Mitchell, Bogdan...
SRDS
2007
IEEE
14 years 4 months ago
Framework for Intrusion Tolerant Certification Authority System Evaluation
Various intrusion tolerant certification authority (CA) systems have been recently proposed to provide attack resistant certificate update/query services. However, it is difficult...
Jingqiang Lin, Jiwu Jing, Peng Liu
NOSSDAV
2004
Springer
14 years 3 months ago
Scalable resilient media streaming
We present a low-overhead media streaming system, called SRMS (Scalable Resilient Media Streaming) that can be used to scalably deliver streaming data to a large group of receiver...
Suman Banerjee, Seungjoon Lee, Ryan Braud, Bobby B...