Formal methods for the analysis of wireless network protocols
M Fruth - 2011 - ora.ox.ac.uk
In this thesis, we present novel software technology for the analysis of wireless networks, an
emerging area of computer science. To address the widely acknowledged lack of formal …
emerging area of computer science. To address the widely acknowledged lack of formal …
Delay analysis for real-time streaming media in multi-hop ad hoc networks
R El-Khoury, R El-Azouzi… - 2008 6th International …, 2008 - ieeexplore.ieee.org
In this paper, we investigate an important issue for real-time multimedia over multi-hop ad-
hoc networks on different layers. Such application requires receiver playback buffers to …
hoc networks on different layers. Such application requires receiver playback buffers to …
Dynamic Retransmission Limit Scheme in MAC Layer for Routing in Multihop Ad hoc Networks.
R El-Khoury, R El-Azouzi - Journal of Computer Systems, Networks, & …, 2008 - dl.acm.org
A multihop wireless ad hoc network is a collection of nodes that communicate with each
other without any established infrastructure or centralized control. Each of these nodes is a …
other without any established infrastructure or centralized control. Each of these nodes is a …
[图书][B] Fairness in a data center
M Hagen - 2012 - search.proquest.com
Existing data centers utilize several networking technologies in order to handle the
performance requirements of different workloads. Maintaining diverse networking …
performance requirements of different workloads. Maintaining diverse networking …
Modeling the Effect of Forwarding in IEEE-802.11 e-Based Ad Hoc Networks with Weighted Fair Queueing.
R El-Khoury, R El-Azouzi - Adhoc & Sensor Wireless …, 2009 - search.ebscohost.com
We present in this paper a model that takes into account topology, routing, random access in
MAC layer governed by IEEE 802.11 and forwarding probability. We are focusing to study …
MAC layer governed by IEEE 802.11 and forwarding probability. We are focusing to study …