C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Striver: Stream Runtime Verification for Real-Time Event-Streams.
Felipe Gorostiaga
César Sánchez
Published in:
RV (2018)
Keyphrases
</>
event streams
complex event processing
real time
event driven
stream processing
event processing
episode mining
high volume
data gathering
database
data processing
temporal reasoning
relational databases
frequent episodes