Mobile agents and their use for information retrieval: a brief overview and an elaborate case study | IEEE Journals & Magazine | IEEE Xplore