A Universal Push Service for Mobile Devices | IEEE Conference Publication | IEEE Xplore