Recoverable mobile environment: design and trade-off analysis | IEEE Conference Publication | IEEE Xplore