Optimal memory management strategies for a mobile user in a broadcast data delivery system | IEEE Journals & Magazine | IEEE Xplore