机译:高效的分布式SAT和基于SAT的分布式有界模型检查
机译:通过利用本地检查来改进分布式数据库中的完整性约束检查
机译:具有最坏情况隐私保证的通用和分布式隐私保护分类方法
机译:分布式前向检查可能是隐私谎言
机译:在原始约束图和双重约束图中进行前向检查。
机译:医生在两项主要法庭测试中享有数据隐私的权利但新的问题还在后面
机译:使用分布式模型检查和虚拟化过程域的检查点/恢复的软件检查框架
机译:在并行和分布式系统中使用Lookahead Execution和RollbackValidation进行基于检查点的前向恢复