CORC

在结果中检索

CORC

浏览/检索结果: 共73条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
Formal modeling and security analysis method of security protocol based on CPN 期刊论文
Tongxin Xuebao/Journal on Communications, 2021, 卷号: 42, 期号: 9, 页码: 240-253
作者:  Gong, Xiang;  Feng, Tao;  Du, Jinze
收藏  |  浏览/下载：8/0  |  提交时间：2022/02/17
Task Allocation Policy for UGV Systems using Colored Petri Nets 会议论文
作者:  Wang, Xiaojun;  Rui, Feng;  Hu, Hesuan
收藏  |  浏览/下载：5/0  |  提交时间：2019/11/19
Modeling and Analysis of Protein Synthesis and DNA Mutation Using Colored Petri Nets 期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 22386-22400
作者:  Yang, Jinliang;  Pu, Haitao;  Lian, Jian;  Gu, Jason;  Fan, Mingqu
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/11
Performance Analysis of FC-AE-ASM Based on CPN 会议论文
Journal of Physics: Conference Series
作者:  Xu, K.;  Huang, N.;  Wang, S.K.
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
Automatic Combination Technology of Fuzzy CPN for OWL-S Web Services in Supercomputing Cloud Platform 期刊论文
International Journal of Pattern Recognition and Artificial Intelligence, 2017, 卷号: Vol.31 No.7, 页码: 1759010
作者:  Deng, Ziyun;  Zhang, Jing;  He, Tingqin
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/31
Automatic Combination Technology of Fuzzy CPN for OWL-S Web Services in Supercomputing Cloud Platform 期刊论文
International Journal of Pattern Recognition and Artificial Intelligence, 2017, 卷号: Vol.31 No.7
作者:  Deng, Z.;  Zhang, J.;  He, T.
收藏  |  浏览/下载：10/0  |  提交时间：2019/12/31
An approach to build cycle accurate full system VLIW simulation platform 期刊论文
SIMULATION MODELLING PRACTICE AND THEORY, 2016, 卷号: 67, 期号: 2016, 页码: 14-28
作者:  Yang, Lei;  Wang, Lei;  Zhang, Xing;  Wang, DongLin
收藏  |  浏览/下载：13/0  |  提交时间：2016/12/26
Enabling flexible location-aware business process modeling and execution 期刊论文
DECISION SUPPORT SYSTEMS, 2016, 卷号: 83
作者:  Zhu, Xinwei;  vanden Broucke, Seppe;  Zhu, Guobin;  Vanthienen, Jan;  Baesens, Bart
收藏  |  浏览/下载：10/0  |  提交时间：2019/12/05
A Reliability Calculation Method for Web Service Composition Using Fuzzy Reasoning Colored Petri Nets and Its Application on Supercomputing Cloud Platform 期刊论文
Future Internet, 2016, 卷号: Vol.8 No.4, 页码: 47
作者:  Deng, Ziyun;  Chen, Lei;  He, Tingqing;  Meng, Tao
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/31
Modeling the Classification of Amino Acids with Colored Petri Nets 会议论文
IEEE International Conference on Information and Automation 2015, AUG 08-10, 2015
作者:  Yang, Jinliang;  Pu, Haitao;  Lian, Jian;  Ren, Guoqiang
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/31

©版权所有 ©2017 CSpace - Powered by CSpace