A Dioid Model for Invariant Resource Sharing Problems | IEEE Journals & Magazine | IEEE Xplore