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

Search Results

Help

Item hits: (Results 51-60 of 359)

Items/Page:    Sort:
Pricing crowdsourcing-based software development tasks [会议论文]
2013 35th International Conference on Software Engineering, ICSE 2013, San Francisco, CA, United states, May 18, 2013 - May 26, 2013
Mao, Ke (1); Yang, Ye (1); Li, Mingshu (1); Harman, Mark (3)

 
Policykeeper: Recommending Proper Security Mechanisms based on the Severity of Vulnerability Considering User Experience [会议论文]
7th IEEE International Conference on Software Security and Reliability (SERE), Gaithersburg, MD, JUN 18-20, 2013
Yang, Mutian; Wu, Jingzheng; Wu, Yanjun; Wu, Zhifei

 
a peta-scalable cpu-gpu algorithm for global atmospheric simulations [会议论文]
18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2013, Shenzhen, China, February 23, 2013 - February 27, 2013
Yang Chao; Xue Wei; Fu Haohuan; Gan Lin; Li Linfeng; Xu Yangtong; Lu Yutong; Sun Jiachang; Yang Guangwen; Zheng Weimin

 
assumption generation for asynchronous systems by abstraction refinement [会议论文]
9th International Symposium on Formal Aspects of Component Software, FACS 2012, Mountain View, CA, United states, September 12, 2012 - September 14, 2012
Yang Qiusong; Clarke Edmund M.; Komuravelli Anvesh; Li Mingshu

 
algorithms for checking channel passing in web service choreography [期刊论文]
Frontiers of Computer Science, 2013-01-01, 页码: 1-19
Yang Hongli; Cai Chao; Peng Liyang; Zhao Xiangpeng; Qiu Zongyan; Qin Shengchao

 
a fully implicit compressible euler solver for atmospheric flows [期刊论文]
Lecture Notes in Computational Science and Engineering, 2013-01-01, 卷号: 91, 页码: 679-686
Yang Chao; Cai Xiao-Chuan

 
specifying and detecting spatio-temporal events in the internet of things [期刊论文]
Decision Support Systems, 2013-01-01, 卷号: 55, 期号: 1, 页码: -
Jin Beihong; Zhuo Wei; Hu Jiafeng; Chen Haibiao; Yang Yuwei

 
creating process-agents incrementally by mining process asset library [期刊论文]
Information Sciences, 2013-01-01, 页码: -
Huang Hui; Xiao Junchao; Yang Qiusong; Wang Qing; Wu Hong

 
e-block: a tangible programming tool with graphical blocks [期刊论文]
Mathematical Problems in Engineering, 2013-01-01, 卷号: 2013, 页码: -
Wang Danli; Zhang Yang; Chen Shengyong

 
a robust blind color image watermarking in quaternion fourier transform domain [期刊论文]
Journal of Systems and Software, 2013-01-01, 卷号: 86, 期号: 2, 页码: 255-277
Wang Xiang-Yang; Wang Chun-Peng; Yang Hong-Ying; Niu Pan-Pan

 

previous 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 next

 

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