CSpace

浏览/检索结果: 共4条,第1-4条 帮助

已选(0)清除 条数/页:   排序方式:
Capability description and discovery of Internetware entity 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2010, 卷号: 53, 期号: 4, 页码: 685-703
作者:  Wang PuWei;  Jin Zhi;  Liu HongYan
收藏  |  浏览/下载:116/0  |  提交时间:2018/07/30
Internetware  capability description  domain environment ontology  tree-like hierarchical state machine  
An Optimized Majority Logic Synthesis Methodology for Quantum-Dot Cellular Automata 期刊论文
IEEE TRANSACTIONS ON NANOTECHNOLOGY, 2010, 卷号: 9, 期号: 2, 页码: 170-183
作者:  Kong, Kun;  Shang, Yun;  Lu, Ruqian
收藏  |  浏览/下载:148/0  |  提交时间:2018/07/30
Majority networks  minimum cost  quantum-dot cellular automata (QCA)  redundancy removal  
A PTAS for parallel batch scheduling with rejection and dynamic job arrivals 期刊论文
THEORETICAL COMPUTER SCIENCE, 2009, 卷号: 410, 期号: 27-29, 页码: 2732-2745
作者:  Cao, Zhigang;  Yang, Xiaoguang
收藏  |  浏览/下载:136/0  |  提交时间:2018/07/30
Scheduling  Parallel batch  Dynamic job arrivals  Rejection  PTAS  
Handling Inconsistency In Distributed Software Requirements Specifications Based On Prioritized Merging 期刊论文
FUNDAMENTA INFORMATICAE, 2009, 卷号: 91, 期号: 3-4, 页码: 631-670
作者:  Mu, Kedian;  Jin, Zhi;  Yue, Anbu;  Liu, Weiru;  Lu, Ruqian;  Bell, David
收藏  |  浏览/下载:146/0  |  提交时间:2018/07/30
Inconsistency  Requirements Engineering  Prioritized Merging  Local Prioritization