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

Search Results

Help

Item hits: (Results 1-10 of 11)

Filters    
Items/Page:    Sort:
Formal verification of a descent guidance control program of a lunar lander [会议论文]
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Zhao, Hengjun (1); Yang, Mengfei (2); Zhan, Naijun (1); Gu, Bin (3); Zou, Liang (1); Chen, Yao (3)

 
LSG: A unified multi-dimensional latent semantic graph for personal information retrieval [会议论文]
15th International Conference on Web-Age Information Management, WAIM 2014, Macau, China, June 16, 2014 - June 18, 2014
Huangfu, Yang (1); Liu, Kuien (1); Zhang, Wen (1); Zhou, Peng (1); Wu, Yanjun (1); Wang, Qing (1); Zhu, Jia (4)

 
Heterogeneous network analysis of developer contribution in bug repositories [会议论文]
2013 International Conference on Cloud and Service Computing, CSC 2013, Beijing, China, November 4, 2013 - November 6, 2013
Zhang, Wen (1); Wang, Song (1); Yang, Ye (1); Wang, Qing (1)

 
Quantitatively Measure Access Control Mechanisms Across Different Operating Systems [会议论文]
7th IEEE International Conference on Software Security and Reliability (SERE), Gaithersburg, MD, JUN 18-20, 2013
Cheng, Liang; Zhang, Yang; Han, Zhihui

 
Heuristic path pruning algorithm based on error handling pattern recognition in detecting vulnerability [会议论文]
2013 IEEE 37th Annual Computer Software and Applications Conference Workshops, COMPSACW 2013, Kyoto, Japan, July 22, 2013 - July 26, 2013
Chen, Dong (1); Zhang, Yang (1); Cheng, Liang (1); Deng, Yi (1); Sun, Xiaoshan (1)

 
Vulnerability Detection of Android System in Fuzzing Cloud [会议论文]
IEEE 6th International Conference on Cloud Computing (CLOUD), Santa Clara, CA, JUN 27-JUL 03, 2013
Wu, Jingzheng; Wu, Yanjun; Yang, Mutian; Wu, Zhifei; Wang, Yongji

 
MOIR/UOTS: Trip Recommendation with User Oriented Trajectory Search [会议论文]
IEEE 14th International Conference on Mobile Data Management (MDM), Milan, ITALY, JUN 03-06, 2013
Liu, Kuien; Yang, Bin; Shang, Shuo; Li, Yaguang; Ding, Zhiming

 
Pyxis plus : A Scalable and Adaptive Data Replication Framework [会议论文]
9th International Conference on Active Media Technology (AMT), Maebashi, JAPAN, OCT 29-31, 2013
Yang, Yuwei; Jin, Beihong; Li, Sen

 
Vulcloud: Scalable and hybrid vulnerability detection in cloud computing [会议论文]
7th International Conference on Software Security and Reliability, SERE-C 2013, Gaithersburg, MD, United states, June 18, 2013 - June 20, 2013
Wu, Jingzheng (1); Wu, Yanjun (1); Wu, Zhifei (1); Yang, Mutian (1); Wang, Yongji (2)

 
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)

 

1 2 next

 

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