[1] |
夏锐, 钱振江, 刘苇. 一种基于Isabelle/HOL的安全通信协议验证方法[J]. 计算机工程, 2021, 47(1): 146-153. |
[2] |
欧阳恒一, 熊焰, 黄文超. 一种代币智能合约的形式化建模与验证方法[J]. 计算机工程, 2020, 46(10): 41-45,51. |
[3] |
郝巍,伊鹏,江逸茗. 一种快速的SDN规则冲突检测机制[J]. 计算机工程, 2019, 45(2): 139-143. |
[4] |
孙思,葛卫民,冯志勇,徐超,彭伟龙. 基于NURBS变形和单视角图片的人脸表情生成[J]. 计算机工程, 2017, 43(11): 227-233,238. |
[5] |
杨龙婴,郭宇. 针对NAND闪存硬件的形式化建模[J]. 计算机工程, 2015, 41(11): 94-99. |
[6] |
张良,刘敬浩,李卓. 命名数据网络中基于Hash映射的命名检索[J]. 计算机工程, 2014, 40(4): 108-111,115. |
[7] |
刘江, 张红旗, 代向东, 王义功. 一种ABAC静态策略冲突检测算法[J]. 计算机工程, 2013, 39(6): 200-204. |
[8] |
陈旭日, 徐炜民. 基于描述逻辑的XACML策略研究[J]. 计算机工程, 2013, 39(4): 71-74. |
[9] |
王倩, 王辉. 数据交换中基于本体的语义冲突消解方案[J]. 计算机工程, 2012, 38(04): 76-78. |
[10] |
汤罗浩, 朱承, 罗江锋, 张维明, 黄金才. 基于STN的时间冲突检测与消解[J]. 计算机工程, 2011, 37(3): 251-253,256. |
[11] |
刘茜萍, 韩京宇. 工作流合并规则中的冲突检测方法[J]. 计算机工程, 2011, 37(17): 44-45,57. |
[12] |
田钊, 佘维, 叶阳东. 基于模糊时间知识推理的实时系统冲突研究[J]. 计算机工程, 2011, 37(14): 183-185. |
[13] |
陈军冰, 王志坚. 基于图转换的模型重构冲突检测方法[J]. 计算机工程, 2010, 36(20): 40-42. |
[14] |
李红明;秦贵和;郝 勃;冀进朝. 模糊匹配中的匹配度计算方法[J]. 计算机工程, 2010, 36(06): 184-185. |
[15] |
蒋国瑞;段晓敏;张瀚林. 基于冲突检测的供应链协同计划[J]. 计算机工程, 2010, 36(06): 247-249. |