Sciweavers

Share
ICMCS
2006
IEEE

Design and Verification of Communication Protocols for Peer-to-Peer Multimedia Systems

10 years 5 months ago
Design and Verification of Communication Protocols for Peer-to-Peer Multimedia Systems
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.
Senem Velipasalar, Chang Hong Lin, Jason Schlessma
Added 11 Jun 2010
Updated 11 Jun 2010
Type Conference
Year 2006
Where ICMCS
Authors Senem Velipasalar, Chang Hong Lin, Jason Schlessman, Wayne Wolf
Comments (0)
books