Next Generation Platform as a Service: Toward Virtualized DVB-RCS2 Decoding System | IEEE Journals & Magazine | IEEE Xplore