SoftAlloc: A Work Allocation Language with Soft Constraints | IEEE Conference Publication | IEEE Xplore