Forwarders vs. centralized server: an evaluation of two approaches for locating mobile agents