Building mobile agent applications in HiMAT