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

Search Results

Help

Item hits: (Results 1-10 of 10)

Items/Page:    Sort:
sketchcomm: a tool to support rich and flexible asynchronous communication of early design ideas [会议论文]
ACM 2012 Conference on Computer Supported Cooperative Work, CSCW'12, Seattle, WA, United states, February 11, 2012 - February 15, 2012
Li Guang; Cao Xiang; Paolantonio Sergio; Tian Feng

 
MOTEC:一个存储一致性模型验证工具 [期刊论文]
计算机工程, 2012-01-01, 卷号: 38, 期号: 11, 页码: 242-246
吕正; 陈昊; 陈峰; 吕毅
  |  
 
基于Yices对时间自动机的有界模型检测 [期刊论文]
计算机工程与设计, 2010-01-01, 卷号: 31, 期号: 1, 页码: 126-129
王晓亮
  |  
 
a case study on usage of a software process management tool in china [会议论文]
17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, 40850
Jing Du; Ye Yang; Zhongpeng Lin; Qing Wang; Mingshu Li; Feng Yuan
  |  
 
test data generation for c programs with string-handling functions [会议论文]
2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering, Nanjing, PEOPLES R CHINA, JUN 17-19,
Ruan Hui; Zhang Jian; Yan Jun
  |  
 
an investigation on performance of software enhancement projects in china [会议论文]
15th Asia-Pacific Software Engineering Conference, Beijing, PEOPLES R CHINA, DEC 02-05,
He Mei; Yang Ye; Wang Qing; Li Mingshu
  |  
 
multimodal chinese text entry with speech and keypad on mobile devices [会议论文]
13th International Conference on Intelligent User Interfaces 2008, IUI08, Maspalomas, Gran Canaria, Spain, 40556
Jiang Yingying; Wang Xugang; Tian Feng; Ao Xiang; GuozhongDai; Wang Hongan
  |  
 
qscm: engineering qos in web-based software configuration management system [会议论文]
IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT 2006), Hong Kong, PEOPLES R CHINA, DEC 18-22,
Wang Xiuli; Wang Yongji; Zhou Hui
  |  
 
计算机取证的相关法律技术问题研究 [期刊论文]
软件学报, 2005-01-01, 卷号: 16, 期号: 2, 页码: 260-275
丁丽萍; 王永吉
  |  
 
symbolic execution of program paths involving pointer and structure variables [会议论文]
4th International Conference on Quality Software, Braunschweig, GERMANY, SEP 08-09,
Zhang J
  |  
 

1

 

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