Resource modeling and analysis for workflows | IEEE Conference Publication | IEEE Xplore