Sciweavers

130 search results - page 12 / 26
» A Simple Model for Analyzing P2P Streaming Protocols
Sort
View
SEFM
2007
IEEE
14 years 2 months ago
Verifying Security Properties of Cryptoprotocols: A Novel Approach
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
Mohamed Saleh, Mourad Debbabi
SIGMETRICS
2002
ACM
13 years 7 months ago
Quality of service evaluations of multicast streaming protocols
Recently proposed scalable on-demand streaming protocols have previously been evaluated using a system cost measure termed the "required server bandwidth". For the scala...
Haonan Tan, Derek L. Eager, Mary K. Vernon, Hongfe...
FORTE
2008
13 years 9 months ago
Protocol Modeling with Model Program Composition
Designing and interoperability testing of distributed, application-level network protocols is complex. Windows, for example, supports currently more than 200 protocols, ranging fro...
Margus Veanes, Wolfram Schulte
ISM
2008
IEEE
140views Multimedia» more  ISM 2008»
14 years 2 months ago
SAM: A Simplified Seasonal ARIMA Model for Mobile Video over Wireless Broadband Networks
1 Wireless broadband technologies like WiMAX2 are spreading especially in areas where wired broadband is not expected to reach. Video streaming is continuously acquiring a larger s...
Abdel Karim Al Tamimi, Raj Jain, Chakchai So-In
INFOCOM
2002
IEEE
14 years 21 days ago
Provisioning Content Distribution Networks for Streaming Media
This paper develops simple cost models for provisioning content distribution networks that use the simple and highly scalable bandwidth skimming protocol for streaming. New insight...
Jussara M. Almeida, Derek L. Eager, Michael C. Fer...