Fault-tolerant execution of mobile agents | IEEE Conference Publication | IEEE Xplore