Mobile-agent coordination models for Internet applications | IEEE Journals & Magazine | IEEE Xplore