A Probabilistic Batch Oriented Proactive Workflow Management | IEEE Conference Publication | IEEE Xplore