A comparison of two programming models for pervasive computing | IEEE Conference Publication | IEEE Xplore