Mining Big Data in Real Time. INF 37 (1).