An Abstract Theory of Sensor Eventification | AMiner