Reliable message delivery for mobile agents: push or pull? | IEEE Journals & Magazine | IEEE Xplore