Learn 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)
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)
One of the key challenges for routing protocols in wireless multi-hop networks is to deal with link failures, and to repair the routes in these situations. In the Ad-hoc On Demand Distance Vector (AODV) protocol, routes can either be repaired by re-establishing a new route from scratch starting from the source node (Source Repair), or they can be locally(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)
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)