Fault-tolerant mobile agent execution | IEEE Journals & Magazine | IEEE Xplore