Naming and binding in a vertical migration environment | IEEE Journals & Magazine | IEEE Xplore