A Parameterized Simulator for Pervasive Computing Applications