设为首页 | 登录 | 免费注册 | 加入收藏
文献检索:
Formal engineering methods for software quality assurance(Shaoying LIU)
The use of mathematics in software quality assurance(David Lorge PARNAS)
rCOS: a formal model-driven engineering method for component-based software(Wei KE[1,5] Xiaoshan LI[2] Zhiming LIU[3] Volker STOLZ[3,4])
An institution theory of formal meta-modelling in graphically extended BNF(Hong ZHU)
SeVe: automatic tool for verification of security protocols(Anh Tuan LUU[1] Jun SUN[2] Yang LIU[1] Jin Song DONG[1] Xiaohong LI[3] Thanh Tho QUAN[4])
Mining the interests of Chinese microbloggers via keyword extraction(Zhiyuan LIU Xinxiong CHEN Maosong SUN)
Enriching short text representation in microblog for clustering(Jiliang TANG Xufei WANG Huiji GAO Xia HU Huan LIU)
Forecasting complex group behavior via multiple plan recognition(Xiaochen LI Wenji MAO Daniel ZENG)
Prediction of urban human mobility using large-scale taxi traces and its applications(Xiaolong LI[1] Gang PAN[1] Zhaohui WU[1] Guande QI[1] Shijian LI[1] Daqing ZHANG[2] Wangsheng ZHANG[1] Zonghui WANG[1])
On social computing research collaboration patterns: a social network perspective(Tao WANG[1] Qingpeng ZHANG[2] Zhong LIU[1] Wenli LIU[3] Ding WEN[3])
《中国计算机科学前沿:英文版》封面

关于我们 | 网站声明 | 合作伙伴 | 联系方式
金月芽期刊网 2017 电脑版 京ICP备13008804号-2