Comparing the performance of mobile agent systems: a study of benchmarking.