Building mobile agent applications in HiMAT | IEEE Conference Publication | IEEE Xplore