退出
我的积分:
中文文献批量获取
外文文献批量获取
纪业; 魏恒峰; 黄宇; 吕建;
计算机软件新技术国家重点实验室(南京大学) 江苏南京210023;
无冲突复制数据类型; 强最终一致性; 最终可见性; 模型检验; TLA+;
机译:根据欧洲高血压学会2010年国际协议修订版:描述性调查,对iHealth追踪血压监测仪的一般人群进行自我测量验证
机译:验证亚洲象脚的新射线照相协议并对其射线照相解剖结构进行描述
机译:通过从加密协议描述到彩色Petrinet的转换来进行机密性验证
机译:CRDT的自动参数验证
机译:利用CRDT / N测得的光学特性研究城市移动源气溶胶:柴油颗粒物和生物柴油的影响。
机译:协议:一项针对跨学科研究的协议该协议旨在测量马来西亚初级保健诊所中医疗服务提供者的以人为中心:以人为中心的工作人员(PCPI-S)问卷的改编和验证
机译:CRDT的自动参数化验证
机译:无线认证协议实现:用于在地面和机载移动网络上进行测试的零知识证明(ZKp)协议实现的描述。
机译:协议协议方法,协议验证方法,协议协议系统,协议验证装置,协议协议装置,协议协议程序和协议验证程序
机译:合同协议方法,协议验证方法,合同协议系统,协议验证设备,合同协议设备,合同协议程序和协议验证程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。