...
机译:I / O自动机模型视角下数据库复制协议的正确性证明
Dpto. Ingenieria Matematica e Informatica, Universidad Publica de Navarra, 31006 Pamplona, Spain;
Dpto. Ingenieria Matematica e Informatica, Universidad Publica de Navarra, 31006 Pamplona, Spain;
Dpto. Ingenieria Matematica e Informatica, Universidad Publica de Navarra, 31006 Pamplona, Spain;
Instituto Tecnologico de Informatica, Universidad Politecnica de Valencia, 46022 Valencia, Spain;
机译:I / O自动机模型视角下数据库复制协议的正确性证明
机译:迈向法医感知数据库解决方案:使用安全的数据库复制协议和事务管理进行数字调查
机译:对带有SI副本和崩溃故障的数据库复制协议的形式分析
机译:用于数据库复制协议性能评估的随机建模
机译:部分指定的协议:寻求真实密码协议的证明。
机译:公共数据库中基因组组装的错误识别:Naumovozyma dairenensis的病例和纠正错误识别的方案的建议
机译:用于数据库复制协议性能评估的随机建模
机译:高可用复制数据库的正确性条件