A unified Push Notifications service for mobile devices | IEEE Conference Publication | IEEE Xplore