This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2006 IEEE International Conference on Multimedia and Expo
Design and Verification of Communication Protocols for Peer-to-Peer Multimedia Systems
Toronto, ON, Canada
July 09-July 12
ISBN: 1-4244-0366-7
Senem Velipasalar, Princeton University, Dept. of Electrical Engineering, Princeton, NJ 08544. svelipas@princeton.edu
Chang-hong Lin, Princeton University, Dept. of Electrical Engineering, Princeton, NJ 08544. chlin@princeton.edu
Jason Schlessman, Princeton University, Dept. of Electrical Engineering, Princeton, NJ 08544. jschless@princeton.edu
Wayne Wolf, Princeton University, Dept. of Electrical Engineering, Princeton, NJ 08544. wolf@princeton.edu
This paper addresses issues pertaining to the necessity of utilizing formal verification methods in the design of protocols for peer-to-peer multimedia systems. These systems require sophisticated communication protocols, and these protocols require verification. We discuss two sample protocols designed for two distinct peer-to-peer computer vision applications, namely multi-object multi-camera tracking and distributed gesture recognition. We present simulation and verification results for these protocols, obtained by using the SPIN verification tool, and discuss the importance of verifying the protocols used in peer-to-peer multimedia systems.
Citation:
Senem Velipasalar, Chang-hong Lin, Jason Schlessman, Wayne Wolf, "Design and Verification of Communication Protocols for Peer-to-Peer Multimedia Systems," icme, pp.1421-1424, 2006 IEEE International Conference on Multimedia and Expo, 2006
Usage of this product signifies your acceptance of the Terms of Use.