Modeling and Analysis of Cooperative Packet Recovery Protocol

Modeling and Analysis of Cooperative Packet Recovery Protocol

Real-time audio/video transmission through Internet media is an important part of communication. Due to bandwidth limitations and a noisy environment, delivery of multimedia content to a remote location is not 100% guaranteed. These limitations are the basic cause of missing packets which...

Full description

Bibliographic Details
Main Authors: Muhammad Naeem, Muhammad Atif, Arshad Ali, Maryam Gulzar, Imran Riaz Hasrat
Format: Article
Language:English
Published: IEEE 2024-01-01
Series:IEEE Access
Subjects:
Distributed algorithm
model checking
formal specification
linear temporal logic
video distribution
packet recovery
Online Access:https://ieeexplore.ieee.org/document/10501932/

Internet

https://ieeexplore.ieee.org/document/10501932/

Similar Items