Operating Support for Mobile Agents
