机译:电子商务交易中公平交易和原子性的标准和验证
e-business; e-commerce; protocols; model checking; money atomicity; goods atomicity; valid receipt; standards enforcement;
机译:电子商务交易中公平交易和原子性的标准和验证
机译:哈里伯顿遵守电子商务交易标准
机译:规范和自动验证原子并发实时交易
机译:原子并发实时交易的规范和形式验证
机译:评估内容交付网络对内容丰富且交易频繁的电子商务网站的性能和可伸缩性的影响。
机译:增强鲸类优化算法集成与支持向量机的电子商务交易趋势预测
机译:使用相互原子事务减少并发系统的验证条件
机译:原子事务验证的工程方法:使用简单的Object211模型在编译时实现基于语义的推理