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

Search Results

Help

Item hits: (Results 1-10 of 39)

Items/Page:    Sort:
Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes [期刊论文]
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2016-01-01, 卷号: 25, 期号: 3
He, F; Gao, XW; Wang, MF; Wang, BY; Zhang, LJ
  |  
 
Mining streams of short text for analysis of world-wide event evolutions [期刊论文]
World Wide Web, 2014-01-01
Huang, Guangyan (1); He, Jing (2); Zhang, Yanchun (2); Zhou, Wanlei (1); Liu, Hai (3); Zhang, Peng (2); Ding, Zhiming (4); You, Yue (5); Cao, Jian (5)

 
Investigating dependencies in software requirements for change propagation analysis [期刊论文]
Information and Software Technology, 2014-01-01, 卷号: 56, 期号: 1, 页码: 40-53
Zhang, He (1); Li, Juan (3); Zhu, Liming (2); Jeffery, Ross (2); Liu, Yan (4); Wang, Qing (3); Li, Mingshu (3)

 
UbiSpoon: Pervasive monitoring of nervous system diseases through daily life [会议论文]
32nd Annual ACM Conference on Human Factors in Computing Systems, CHI EA 2014, Toronto, ON, Canada, April 26, 2014 - May 1, 2014
Chen, Yineng (1); Wang, Hongan (1); Tian, Feng (1); Zeng, Xinda (2); He, Yue (1); Jiang, Chaoci (1); Zhang, Xiaolong (3); Zhu, Yicheng (4)

 
LTL satisfiability checking revisited [会议论文]
20th International Symposium on Temporal Representation and Reasoning, TIME 2013, Pensacola, FL, United states, September 26, 2013 - September 28, 2013
Li, Jianwen (1); Zhang, Lijun (2); Pu, Geguang (1); Vardi, Moshe Y. (3); He, Jifeng (1)

 
Profile directed systematic testing of concurrent programs [会议论文]
2013 8th International Workshop on Automation of Software Test, AST 2013, San Francisco, CA, United states, May 18, 2013 - May 19, 2013
Hu, Yan (1); Yan, Jun (2); Zhang, Jian (2); Jiang, He (1)

 
Can requirements dependency network be used as early indicator of software integration bugs? [会议论文]
2013 21st IEEE International Requirements Engineering Conference, RE 2013, Rio de Janeiro, Brazil, July 15, 2013 - July 19, 2013
Wang, Junjie (1); Li, Juan (1); Wang, Qing (1); Yang, Da (1); Zhang, He (4); Li, Mingshu (1)

 
research on soybean security of china based on system dynamics [会议论文]
31st Chinese Control Conference, CCC 2012, Hefei, China, July 25, 2012 - July 27, 2012
Zhu Ting; Duan Jia-Xi; Gao Mg-He; Zhang Chu-Qun

 
e-block: a tangible programming tool for children [会议论文]
25th Annual ACM Symposium on User Interface Software and Technology, UIST 2012, Cambridge, MA, United states, October 7, 2012 - October 10, 2012
Wang Danli; Zhang Yang; Gu Tianyuan; He Liang; Wang Hongan

 
preliminary results of a systematic review on requirements evolution [会议论文]
16th International Conference on Evaluation and Assessment in Software Engineering, EASE 2012, Ciudad Real, Spain, May 14, 2012 - May 15, 2012
Li Juan; Zhang He; Zhu Liming; Jeffery Ross; Wang Qing; Li Mingshu

 

1 2 3 4 next

 

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