Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2003/12/01 Vol. E86-DNo. 12pp. 2553-2562 Type of Manuscript: Special Section PAPER (Special Issue on Dependable Computing) Category: Dependable Software Keyword: checkpointing, rollback-recovery, cluster system, high availability,