Double Auction Game-based Computing Resource Allocation in LEO Satellite System | IEEE Conference Publication | IEEE Xplore