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

Search Results

Help

Item hits: (Results 51-60 of 133)

Items/Page:    Sort:
mining api mapping for language migration [会议论文]
32nd ACM/IEEE International Conference on Software Engineering, ICSE 2010, Cape Town, South africa, May 1, 201
Zhong Hao; Thummalapenta Suresh; Xie Tao; Zhang Lu; Wang Qing
  |  
 
macml: a domain-specific language for machinery service management [会议论文]
2010 International Conference on Service Sciences, ICSS 2010, Hangzhou, China, 43963
Yang Junwei; Hu Zhongxiang; Zheng Yujun
  |  
 
improving phrase-based smt model with flattened bilingual parse tree [会议论文]
6th International Conference on Natural Language Processing and Knowledge Engineering, NLP-KE 2010, Beijing, China, August 21,
Zhang Dakun; Sun Le; Li Wenbo
  |  
 
dictionary-based chinese-tibetan sentence alignment [会议论文]
2010 IEEE International Conference on Intelligent Computing and Integrated Systems, ICISS2010, Guilin, 40838
Xin Yu; Jian Wu; Weina Zhao
  |  
 
generating provably correct algorithmic programs from formal specifications [会议论文]
10th International Conference on Quality Software, QSIC 2010, Zhangjiajie, China, 37451
Shi Haihe; Xue Jinyun
  |  
 
component monitoring of osgi-based software [会议论文]
IEEE International Conference on E-Business Engineering, ICEBE 2010, Shanghai, China, 40848
Wang Tao; Zhou Xiaowei; Wei Jun; Zhang Wenbo; Zhu Xin
  |  
 
a language for secure requirement description based on information flow [会议论文]
2010 IEEE International Conference on Intelligent Computing and Intelligent Systems, ICIS 2010, Xiamen, China, 40845
Cheng Liang; Zhang Yang; Feng Dengguo
  |  
 
axiomatic temporal logic programs verification [会议论文]
2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25,
Yang Xiaoxiao; Duan Zhenhua
  |  
 
a memory model for static analysis of c programs [会议论文]
4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, 40834
Xu Zhongxing; Kremenek Ted; Zhang Jian
  |  
 
adaptive correction of errors from recognized chinese ink texts based on context [会议论文]
2009 International Conference on Information Technology and Computer Science, ITCS 2009, Kiev, Ukraine, 37462
Zhang Xi-Wen; Fu Yong-Gang; Zhang Kun

 

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

 

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