Design and verification of communication protocols for peer-to-peer multimedia systems

Senem Velipasalar, Chang Hong Lin, Jason Schlessman, Wayne Wolf

Research output: Chapter in Book/Report/Conference proceedingConference contribution

7 Scopus citations

Abstract

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.

Original languageEnglish (US)
Title of host publication2006 IEEE International Conference on Multimedia and Expo, ICME 2006 - Proceedings
Pages1421-1424
Number of pages4
DOIs
StatePublished - Dec 1 2006
Externally publishedYes
Event2006 IEEE International Conference on Multimedia and Expo, ICME 2006 - Toronto, ON, Canada
Duration: Jul 9 2006Jul 12 2006

Publication series

Name2006 IEEE International Conference on Multimedia and Expo, ICME 2006 - Proceedings
Volume2006

Other

Other2006 IEEE International Conference on Multimedia and Expo, ICME 2006
CountryCanada
CityToronto, ON
Period7/9/067/12/06

ASJC Scopus subject areas

  • Media Technology
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Design and verification of communication protocols for peer-to-peer multimedia systems'. Together they form a unique fingerprint.

  • Cite this

    Velipasalar, S., Lin, C. H., Schlessman, J., & Wolf, W. (2006). Design and verification of communication protocols for peer-to-peer multimedia systems. In 2006 IEEE International Conference on Multimedia and Expo, ICME 2006 - Proceedings (pp. 1421-1424). [4036876] (2006 IEEE International Conference on Multimedia and Expo, ICME 2006 - Proceedings; Vol. 2006). https://doi.org/10.1109/ICME.2006.262806