Kahuna is an excellent push notification tool intended for cross-platform marketing. It also supports ‘extreme personalization’, which it says is achieved by customizing messages for content, not context, and working around demographic segmentation. Pricing is available on demand.