Reliable message delivery for mobile agents: push or pull | IEEE Conference Publication | IEEE Xplore