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

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

doi:10.1109/ICME.2006.262806

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/Entry/Poem › Conference contribution

8 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 language	English (US)
Title of host publication	2006 IEEE International Conference on Multimedia and Expo, ICME 2006 - Proceedings
Pages	1421-1424
Number of pages	4
DOIs	https://doi.org/10.1109/ICME.2006.262806
State	Published - 2006
Externally published	Yes
Event	2006 IEEE International Conference on Multimedia and Expo, ICME 2006 - Toronto, ON, Canada Duration: Jul 9 2006 → Jul 12 2006

Publication series

Name	2006 IEEE International Conference on Multimedia and Expo, ICME 2006 - Proceedings
Volume	2006

Other

Other	2006 IEEE International Conference on Multimedia and Expo, ICME 2006
Country/Territory	Canada
City	Toronto, ON
Period	7/9/06 → 7/12/06

ASJC Scopus subject areas

Media Technology
Electrical and Electronic Engineering

Access to Document

10.1109/ICME.2006.262806

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). Article 4036876 (2006 IEEE International Conference on Multimedia and Expo, ICME 2006 - Proceedings; Vol. 2006). https://doi.org/10.1109/ICME.2006.262806

Design and verification of communication protocols for peer-to-peer multimedia systems. / Velipasalar, Senem; Lin, Chang Hong; Schlessman, Jason et al.
2006 IEEE International Conference on Multimedia and Expo, ICME 2006 - Proceedings. 2006. p. 1421-1424 4036876 (2006 IEEE International Conference on Multimedia and Expo, ICME 2006 - Proceedings; Vol. 2006).

Research output: Chapter in Book/Entry/Poem › Conference contribution

Velipasalar, S, Lin, CH, 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., 4036876, 2006 IEEE International Conference on Multimedia and Expo, ICME 2006 - Proceedings, vol. 2006, pp. 1421-1424, 2006 IEEE International Conference on Multimedia and Expo, ICME 2006, Toronto, ON, Canada, 7/9/06. https://doi.org/10.1109/ICME.2006.262806

@inproceedings{1c87219ad8f04e49836b3131b13cf036,

title = "Design and verification of communication protocols for peer-to-peer multimedia systems",

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.",

author = "Senem Velipasalar and Lin, {Chang Hong} and Jason Schlessman and Wayne Wolf",

year = "2006",

doi = "10.1109/ICME.2006.262806",

language = "English (US)",

isbn = "1424403677",

series = "2006 IEEE International Conference on Multimedia and Expo, ICME 2006 - Proceedings",

pages = "1421--1424",

booktitle = "2006 IEEE International Conference on Multimedia and Expo, ICME 2006 - Proceedings",

note = "2006 IEEE International Conference on Multimedia and Expo, ICME 2006 ; Conference date: 09-07-2006 Through 12-07-2006",

}

TY - GEN

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

AU - Velipasalar, Senem

AU - Lin, Chang Hong

AU - Schlessman, Jason

AU - Wolf, Wayne

PY - 2006

Y1 - 2006

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=34247620867&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=34247620867&partnerID=8YFLogxK

U2 - 10.1109/ICME.2006.262806

DO - 10.1109/ICME.2006.262806

M3 - Conference contribution

AN - SCOPUS:34247620867

SN - 1424403677

SN - 9781424403677

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

SP - 1421

EP - 1424

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

T2 - 2006 IEEE International Conference on Multimedia and Expo, ICME 2006

Y2 - 9 July 2006 through 12 July 2006

ER -

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

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this