Flexible Verification of MPEG-4 Stream in Peer-to-Peer CDN.

Tieyan Li Yongdong Wu Di Ma Huafei Zhu Robert H. Deng

Published in: ICICS (2004)

Keyphrases

peer to peer
content delivery
file sharing
multimedia
model checking
digital libraries
data streams
load balancing
peer to peer networks
peer to peer systems
data sets
video sequences
overlay network
mpeg standard
verification method
real time
formal verification
resource discovery
ad hoc networks