Trace Checking of Streaming Applications through DICE-TraCT.

Marcello M. Bersani Francesco Marconi Matteo Rossi

Published in: ICPE Companion (2018)

Keyphrases

data streams
statistical analysis
real time
video streaming
real time streaming
consistency checking
scalable video
databases
multimedia
streaming data
white matter
stream processing
data streaming
high resolution
verification method
streaming media