An efficient fault-tolerant scheme for mobile agent execution | IEEE Conference Publication | IEEE Xplore