Service and resource discovery in cycle-sharing environments with a utility algebra | IEEE Conference Publication | IEEE Xplore