Comparing performance of two mobile agent platforms in distributed search | IEEE Conference Publication | IEEE Xplore