Constraint Satisfaction Approaches in Cloud Resource Selection for Component Based Applications | IEEE Conference Publication | IEEE Xplore