中文版 | English

在结果中检索

CSpace

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

限定条件        
已选(0)清除 条数/页：   排序方式：
Exploring Directional Path-Consistency for Solving Constraint Networks 期刊论文
COMPUTER JOURNAL, 2018, 卷号: 61, 期号: 9, 页码: 1338-1350
作者:  Kong, Shufeng;  Li, Sanjiang;  Sioutis, Michael
收藏  |  浏览/下载：172/0  |  提交时间：2018/10/07
path-consistency  directional path-consistency  constraint networks  
Fault Attack on ACORN v3 期刊论文
COMPUTER JOURNAL, 2018, 卷号: 61, 期号: 8, 页码: 1166-1179
作者:  Zhang, Xiaojuan;  Feng, Xiutao;  Lin, Dongdai
收藏  |  浏览/下载：147/0  |  提交时间：2018/09/08
CAESAR  authenticated cipher  stream cipher  ACORN  fault attack  
Congruence Formats for Weak Readiness Equivalence and Weak Possible Future Equivalence 期刊论文
COMPUTER JOURNAL, 2010, 卷号: 53, 期号: 1, 页码: 21-36
作者:  Huang, Xiaowei;  Jiao, Li;  Lu, Weiming
收藏  |  浏览/下载：92/0  |  提交时间：2018/07/30
weak equivalences  congruence formats  structural operational semantics  
Guest editorial to the special issue on advances of artificial intelligence and knowledge engineering in China 期刊论文
COMPUTER JOURNAL, 2007, 卷号: 50, 期号: 4, 页码: 377-377
作者:  Lu, Ruqian;  Zhou, Zhi-Hua
收藏  |  浏览/下载：11/0  |  提交时间：2018/07/30
Handling synchronization problem in Petri net-based system design by property-preserving transition-reduction 期刊论文
COMPUTER JOURNAL, 2005, 卷号: 48, 期号: 6, 页码: 692-701
作者:  Jiao, L;  Cheung, TY;  Lu, WM
收藏  |  浏览/下载：81/0  |  提交时间：2018/07/30