User mobility modeling and characterization of mobility patterns | IEEE Journals & Magazine | IEEE Xplore