Proximity Detection in Distributed Simulation of Wireless Mobile Systems