On modeling and satisfaction of non-functional requirements using cloud computing | IEEE Conference Publication | IEEE Xplore