Architecture and Scheduling Algorithms for WFaaS in the Cloud