中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 1-10 of 16)

Items/Page:    Sort:
Symbolic termination analysis of solvable loops [期刊论文]
JOURNAL OF SYMBOLIC COMPUTATION, 2013-01-01, 卷号: 50, 页码: 28-49
Xu, Ming; Li, Zhi-Bin

 
Some decidable results on reachability of solvable systems [期刊论文]
INTERNATIONAL JOURNAL OF GENERAL SYSTEMS, 2013-01-01, 卷号: 42, 期号: 4, 页码: 405-425
Xu, Ming; Zhu, Jiaqi; Li, Zhi-Bin

 
reliability concerns in the problem frames approach and system reliability enhancement patterns [期刊论文]
Jisuanji Xuebao/Chinese Journal of Computers, 2013-01-01, 卷号: 36, 期号: 1, 页码: 74-87
Yin Bin; Jin Zhi; Li Zhi

 
an efficient certificateless aggregate signature with constant pairing computations [期刊论文]
INFORMATION SCIENCES, 2013-01-01, 卷号: 219, 页码: 225-235
Xiong Hu; Guan Zhi; Chen Zhong; Li Fagen

 
an identity-based authentication scheme in cloud computing [会议论文]
2012 International Conference on Industrial Control and Electronics Engineering, ICICEE 2012, Xi'an, China, August 23, 2012 - August 25, 2012
Zhang Zhi-Hua; Jiang Xue-Feng; Li Jian-Jun; Jiang Wei

 
an new anonymous authentication scheme for cloud computing [会议论文]
2012 7th International Conference on Computer Science and Education, ICCSE 2012, Melbourne, VIC, Australia, July 14, 2012 - July 17, 2012
Zhang Zhi-Hua; Li Jian-Jun; Jiang Wei; Zhao Yong; Gong Bei

 
optimal number of quantum wells for blue ingan/gan light-emitting diodes [期刊论文]
Applied Physics Letters, 2012-01-01, 卷号: 100, 期号: 26, 页码: -
Xia Chang Sheng; Simon Li Z.M.; Li Z.Q.; Sheng Yang; Zhang Zhi Hua; Lu Wei; Cheng Li Wen

 
an architecture of mobile delay tolerant networks and its application [期刊论文]
Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2012-01-01, 卷号: 49, 期号: 3, 页码: 518-528
Zhou Xinyun; Li Zhi; Li Liqun; Sun Limin

 
web service schema matching based on characteristic vector [会议论文]
2011 IEEE 2nd International Conference on Software Engineering and Service Science, ICSESS 2011, Beijing, China, July 15, 2011 - July 17, 2011
Wang Ke; Ou Wei-Jie; Zeng Cheng; Li De-Yi; Peng Zhi-Yong

 
web service schema matching based on invocation instance duplicates [会议论文]
2011 7th International Conference on Next Generation Web Services Practices, NWeSP 2011, Salamanca, Spain, October 19, 2011 - October 21, 2011
Wang Ke; Ou Wei-Jie; Zeng Cheng; Li De-Yi; Peng Zhi-Yong

 

1 2 next

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace