Research on High Availability Mechanism in Distributed Data Stream Management System | IEEE Conference Publication | IEEE Xplore