An overview of the use of mobile agents in virtual environments