Mining Time-Changing Data Streams
A survey of rollback-recovery protocols in message-passing systems