退出
我的积分:
中文文献批量获取
外文文献批量获取
刘璟; 杨春; 周明天;
武汉大学;
不可抵赖; 公平性; 适时中止性; 离线TTP;
机译:EAR协议-走向公平的乐观不可抵赖交换
机译:电子商务协议公平性表征的形式化建模与分析
机译:没有受信任方的防抵赖协议
机译:云计算中服务级别协议的形式化建模和动态验证。
机译:协议和危害法规中的安全推理形式化。
机译:效用作为普遍性和公平性的函数:对联邦口腔健康管理行政命令在家庭健康中的工具有效性的形式分析效用作为普遍性和公平性的函数:对联邦行政法规对口腔保健的工具性有效性的形式化分析为家庭健康计划
机译:使用NpaTRL和NRL协议分析器(预印本)对代表协议的组域进行形式化规范和分析
机译:电子防抵赖系统和方法
机译:(54)标题:用于医学监测模块的协议分析仪系统和方法(57)摘要:提供了用于医学监测模块测试系统的协议分析仪和主机模拟器。协议分析器可以以第一协议来监视从医学监视模块到主机或主机模拟器的通信。协议分析器可以解析第一协议的消息并将其显示在计算机的显示器上。主机模拟器可以从医学监测模块接收数据,并且在显示器上显示与生理参数相对应的数据。
机译:使用分布式协议的通信方法,该协议具有随机和公平的访问权限,并且具有在网络中争用的同时访问权限,并且旨在实现该协议的内部或外部网络
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。