"Modeling the execution semantics of stream processing engines with SECRET" paper published in VLDB Journal

The paper "Modeling the execution semantics of stream processing engines with SECRET" by Nihal Dindar, Nesime Tatbul, Renée J. Miller, Laura M. Haas, Irina Botan is published in VLDB Journal. Volume 22. Number 4. August 2013.