LAUSR

Quantitative Verification for Monitoring Event-Streaming Systems

Sign Up to like & get
recommendations!
0 Published in 2020 at "IEEE Transactions on Software Engineering"

DOI: 10.1109/tse.2020.2996033

Abstract: High-performance data streaming technologies are increasingly adopted in IT companies to support the integration of heterogeneous and possibly distributed applications. Compared with the traditional message queuing middleware, a streaming platform enables the implementation of event-streaming… read more here.

Keywords: event streaming; streaming systems; model; verification ... See more keywords