Push notification system to mobile game player using distributed event-based system approach | IEEE Conference Publication | IEEE Xplore