DiaSim: A parameterized simulator for pervasive computing applications | IEEE Conference Publication | IEEE Xplore