Execution and Time Models for Pervasive Sensor Networks | IEEE Conference Publication | IEEE Xplore