“heads-up notification” is another name for Push notification.