Composition of services in pervasive environments: A Divide and Conquer approach | IEEE Conference Publication | IEEE Xplore