The design and performance of a real-time notification service | IEEE Conference Publication | IEEE Xplore