Increasing the migration efficiency of Java-based mobile agents | IEEE Conference Publication | IEEE Xplore