Proofs for some conjectures of Rajaratnam and Takawira on the peakedness of handoff traffic.

Erik A. van Doorn An T. K. Ta

Published in: IEEE Trans. Veh. Technol. (2003)

Keyphrases

theorem prover
network traffic
packet forwarding
blocking probability
wireless networks
traffic flow
mobile users
road network
real time
internet traffic
ad hoc networks
theorem proving
first order logic
base station
traffic data
traffic congestion
traffic conditions
intermediate nodes
quality of service