Service composition middleware for pervasive computing | IEEE Conference Publication | IEEE Xplore