A notification architecture for smart cities based on push technologies | IEEE Conference Publication | IEEE Xplore