The HiMAT Model for Mobile Agent Applications