Formal modeling and verification of an enhanced variant of the IEEE 802.11 CSMA/CA protocol
Y Hammal, J Ben-Othman, L Mokdad… - Journal of …, 2014 - ieeexplore.ieee.org
In this paper, we present a formal method for modeling and checking an enhanced version
of the carrier sense multiple access with collision avoidance protocol related to the IEEE …
of the carrier sense multiple access with collision avoidance protocol related to the IEEE …
Adaptive cross-layer QoS mechanism for cognitive network applications
SW Liu, SL Wu, JL Chen - 2010 The 12th International …, 2010 - ieeexplore.ieee.org
Given limited network resources, applications, particularly those that support real-time
services, must deliver an ambient quality-guaranteed service. Different applications are …
services, must deliver an ambient quality-guaranteed service. Different applications are …
[PDF][PDF] Treatment-Based Classification in Residential Wireless Access Points
F Li - 2014 - cs.wpi.edu
Abstract IEEE 802.11 wireless access points (APs) act as the central communication hub
inside homes, connecting all networked devices to the Internet. Home users run a variety of …
inside homes, connecting all networked devices to the Internet. Home users run a variety of …