On the implementation of an agent-migration protocol | IEEE Conference Publication | IEEE Xplore