High-availability algorithms for distributed stream processing | IEEE Conference Publication | IEEE Xplore