Towards Efficient Software Deployment in the Cloud Using Requirements Decomposition | IEEE Conference Publication | IEEE Xplore