基于对象系统的检查点协议| IEEE会议出版物| IEEE Xplore