fault tolerant computing; formal specification; formal verification; military computing; synchronisation; system recovery; underwater vehicles; X-by-wire systems; asymmetric errors; dependable services; hybrid error recovery algorithms; node level synchronization; o;
机译:基于服务组合的Web服务容错平台
机译:以基本的容错体系结构设计为平台的容错Internet连接的战略规划
机译:车载网络的可靠的服务质量感知容错网关发现协议
机译:可靠的平台服务:基于属性的容错服务架构
机译:网格服务的可扩展,容错管理:应用于消息中间件。
机译:基于云的临床决策支持服务医疗软件即服务平台的架构设计
机译:适用于高可用性存储服务的容错中间件架构