HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0
首页 论文大全 原子性论文 列表
期刊分类
期刊收录
出版地区
学校教学中知识误解的特性及其应用探析第47-51页
关键词: 学校教学  知识误解  现实性  模糊性  渐变性  原子性  应用性  
2018年第10期 《教育理论与实践》
如何利用事务处理保证数据的一致性第20-21页
关键词: 原子性  一致性  数据库管理系统  事务处理  数据库程序设计  
离线可信第三方匿名原子的e-Cash交易协议模型第1041-1045页
关键词: 电子商务  原子性  匿名性  协议  电子现金交易  消费者本地协议模型  商家本地协议模型  
多线程编程中的原子操作第116-119页
关键词: 多线程编程  原子操作  多线程程序  java  原子性  
2012年第03期 《程序员》
Payword微支付系统实现过程分析与研究第40-42页
关键词: 电子商务  微支付  支付结算  网上支付  网络支付  客户  便利性  原子性  系统实现  扩展  
2004年第10期 《中国金融电脑》
事务工作流模型定义及完全性分析第2247-2250页
关键词: 事务模型  工作流模型  通用  事务管理  完全性  原子性  属性  书店  定义  网上  
Netbill协议原子性的符号模型检验分析第57-59页
关键词: 电子商务协议  符号模型检验  原子性  
安全支付协议的设计与验证研究第139-143页
关键词: 安全支付协议  sep安  全性  原子性  符号模型验证  smv  
Digicash协议原子性的符号模型分析第170-173页
关键词: 电子商务协议  符号模型检验  原子性  
粗关系数据库中的粗函数依赖研究第90-92页
关键词: 函数依赖  关系数据库  库函数  粗集理论  原子性  属性值  算法  等价  正定  实例验证  
2004年第09期 《计算机科学》
电子支付协议的原子性研究综述第93-96页
关键词: 电子支付协议  电子支付系统  电子交易  最新发展  签署  原子性  实现策略  两阶段提交  实现方法  描述  
2005年第02期 《计算机科学》
电子商务协议形式化分析的一种新方法第86-88页
关键词: 电子商务协议  安全性  原子性  形式化方法  
2004年第08期 《计算机科学》
一种电子商务协议原子性的模型检验分析方法第184-186页
关键词: 电子商务协议  原子性  检验分析  形式化模型  描述方法  检验工具  符号模型  
2005年第04期 《计算机科学》
满足原子性和公平匿名性的AFAP协议研究第413-419页
关键词: 电子商务  电子交易  电子支付系统  afap协议  原子性  公平匿名性  
2004年第03期 《计算机学报》
一种基于SVO逻辑的新形式化验证方法第342-351页
关键词: 电子商务  交易协议  形式化验证  原子性  不可否认性  svo逻辑  
一种原子有效的e—cash交易协议第144-150页
关键词: 原子性  匿名性  电子商务  
网络支付协议的形式化安全需求及验证逻辑第174-182页
关键词: 电子商务协议  形式化验证  安全性  原子性  公平性  匿名性  可追究性  
2004年第04期 《通信学报》
专题2 走进物质世界 (3)基础知识检测题第52-53页
关键词: 浓盐酸  相对分子质量  分子间  原子性  红棕色  滤纸条  知识检测  运动速率  气体  棉花  
2007年第04期 《数理化解题研究》
基于组合设计方法的安全支付协议的设计与验证第287-291页
关键词: 组合设计方法  协议原语  支付协议  原子性  
2007年第04期 《广西科学院学报》
一种移动分布式实时事务原子提交协议第184-186页
关键词: 移动分布式系统  原子性  实时性  协议