Status Characterization and Scheduling Model Design of Satellite Communications Resources | IEEE Conference Publication | IEEE Xplore