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

Search Results

Help

Item hits: (Results 1-6 of 6)

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

 
stable cohesion metrics for evolving ontologies [期刊论文]
Journal of Software Maintenance and Evolution, 2011-01-01, 卷号: 23, 期号: 5, 页码: 343-359
Ma Yinglong; Wu Haijiang; Ma Xinyu; Jin Beihong; Huang Tao; Wei Jun

 

1

 

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