Configuring push-based Web services | IEEE Conference Publication | IEEE Xplore