On the Fly Reconfiguration of BPaaS Based on SaaS Services Federation and SAT Solving Techniques | IEEE Conference Publication | IEEE Xplore