Learn More
This paper presents the findings of an extensive measurement study on multiple commercial third-generation (3G) networks. We have investigated the performance of those 3G networks in terms of their data throughput, latency, video and voice call handling capacities, and their ability to provide service guarantees to different traffic classes under saturated(More)
Drive-thru Internet systems are multiple-access wireless networks in which users in moving vehicles can connect to a road-side access point (AP) to obtain Internet connectivity for some period of time as the vehicles pass through the AP's coverage range. In order to evaluate the type of communication services and the quality-of-service that these systems(More)
ion operator, 13, 123<lb>acknowledgment, 11<lb>action, 12<lb>add, 26<lb>addpre, 23<lb>addpreRT, 24<lb>α-conversion, 12<lb>AODV, 1<lb>append, 26<lb>application layer, 10<lb>application layer data, 10, 20<lb>arrive, 14–16<lb>assignment, 10<lb>associativity, 17<lb>atomic propositions, 89, 90<lb>AWN, 1, 10 bidirectional links, 9<lb>bound, 10<lb>broadcast, 4,(More)
This paper describes an automated, formal and rigorous analysis of the Ad hoc On-Demand Distance Vector (AODV) routing protocol, a popular protocol used in wireless mesh networks. We give a brief overview of a model of AODV implemented in the UPPAAL model checker. It is derived from a process-algebraic model which reflects precisely the intention of AODV(More)
Software Defined Networking (SDN) is a new networking paradigm, with a great potential to increase network efficiency, ease the complexity of network control and management, and accelerate the rate of technology innovation. One of the core concepts of SDN is the separation of the network's control and data plane. The intelligence and the control of the(More)
This paper presents the findings of an extensive measurement study on multiple commercial 3G UMTS networks. We have investigated the performances of those 3G networks in terms of their data throughput, latency, video and voice calls handling capacities, and their ability to provide service guarantees to different traffic classes under various loading(More)
Wepropose an adaptive and energy-efficient TDMA-basedMACprotocol that significantly reduces energy consumption in the network, while efficiently handling network traffic load variations and optimizing channel utilization through a timeslot stealing mechanism and a timeslot reassignment procedure. We have analytically derived the average delay performance of(More)