Increasing Availability of Workflows Executing in a Pervasive Environment | IEEE Conference Publication | IEEE Xplore