EC-SAGINs: Edge-Computing-Enhanced Space–Air–Ground-Integrated Networks for Internet of Vehicles | IEEE Journals & Magazine | IEEE Xplore