Inferring event stream abstractions.

Sean Kauffman Klaus Havelund Rajeev Joshi Sebastian Fischmeister

Published in: Formal Methods Syst. Des. (2018)

Keyphrases

stream processing
event streams
data streams
event detection
real time
continuous queries
stream data
events occurring
real world
high level
information extraction
event driven
complex events
events occur