An Action-Oriented Programming Model for Pervasive Computing in a Device Cloud | IEEE Conference Publication | IEEE Xplore