Olympus: A High-Level Programming Model for Pervasive Computing Environments | IEEE Conference Publication | IEEE Xplore