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

Search Results

Help

Item hits: (Results 1-10 of 30)

Items/Page:    Sort:
proving liveness property under strengthened compassion requirements [会议论文]
9th Annual Conference on Theory and Applications of Models of Computation, TAMC 2012, Beijing, China, May 16, 2012 - May 21, 2012
Long Teng; Zhang Wenhui

 
principles of network computing [会议论文]
9th Annual Conference on Theory and Applications of Models of Computation, TAMC 2012, Beijing, China, May 16, 2012 - May 21, 2012
Pan Yicheng

 
the small community phenomenon in networks: models, algorithms and applications [会议论文]
9th Annual Conference on Theory and Applications of Models of Computation, TAMC 2012, Beijing, China, May 16, 2012 - May 21, 2012
Peng Pan

 
a surprisingly simple way of reversing trace distance via entanglement [会议论文]
9th Annual Conference on Theory and Applications of Models of Computation, TAMC 2012, Beijing, China, May 16, 2012 - May 21, 2012
Yan Jun

 
an assume/guarantee based compositional calculus for hybrid csp [会议论文]
9th Annual Conference on Theory and Applications of Models of Computation, TAMC 2012, Beijing, China, May 16, 2012 - May 21, 2012
Wang Shuling; Zhan Naijun; Guelev Dimitar

 
a simulation approach for impact analysis of requirement volatility considering dependency change [会议论文]
18th Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2012, Essen, Germany, March 19, 2012 - March 22, 2012
Wang Junjie; Li Juan; Wang Qing; Zhang He; Wang Haitao

 
threshold ring signature scheme based on tpm [期刊论文]
CHINA COMMUNICATIONS, 2012-01-01, 卷号: 9, 期号: 1, 页码: 80-85
Bei Gong; Wei Jiang; Li Lin; Yu Li; Xing Zhang

 
improving the lower bound on linear complexity of the sequences generated by nonlinear filtering [期刊论文]
Chinese Journal of Electronics, 2012-01-01, 卷号: 21, 期号: 3, 页码: 519-522
Zhang Yin; Lin Dongdai; Liu Meicheng

 
holographic reduction, interpolation and hardness [期刊论文]
COMPUTATIONAL COMPLEXITY, 2012-01-01, 卷号: 21, 期号: 4, 页码: 573-604
Cai Jin-Yi; Lu Pinyan; Xia Mingji

 
the small-community phenomenon in networks [期刊论文]
Mathematical Structures in Computer Science, 2012-01-01, 卷号: 22, 期号: 3, 页码: 373-407
Li Angsheng; Peng Pan

 

1 2 3 next

 

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