An Approach for Checking Resource Feasibility of Workflow Specifications | IEEE Conference Publication | IEEE Xplore