计算机科学前沿，第7卷
2013年2月第7卷第1期
健林 
, 李查 , 许志崴 :
云时代数据中心的整合集群系统：调查与分析。 1-19 倪薇薇 , 致宏冲 , 胡舒 , 佳佳宝 , 周奥英 :
通过等价性评估RDF查询。 20-33 戴月华 , 易诗 , 永奇 , 任建保 , 王培建 :
为多核架构设计和验证一个轻量级、可靠的虚拟机监控器。 34-43 王伯韬（Botao Wang） , 经纬区 , 王晓松 , 王国仁 , 吉苏加瓦（Masaru Kitsuregawa） :
VGQ-Vor：使用Voronoi图扩展虚拟网格四叉树，用于移动对象上的移动k最近邻查询。 44-54 吴玉明 , 罗晓东 , 甄扬 :
语义分隔学习及其在无监督中文文本分析中的应用。 55-68 赖康 , 吴玲达 , Yee-Hong Yang（杨怡红） :
一种新的无监督方法，用于从无序图像采集中进行多级图像聚类。 69-82 罗杰 :
计算最大收缩的一般框架。 83-94 刘静（音译） , 刘子蔚 , 何继峰 , 油炸木槌 , 左华鼎 :
混合MARTE状态图。 95-108 韦克 , 刘志明 , 王淑玲（Shuling Wang） , 梁昭 :
面向对象程序的基于图形的泛型系统。 109-134 赵永健 , 洪河 , 健行弥 :
参考噪声分量提取。 135-144 张雪娟 , 曹小春 , 李景杰 :
基于MSER的抗几何攻击图像水印。 145-156
第7卷第2期，2013年4月
陈金川 , 陈月国 , 杜晓勇 , 李翠萍 , 嘉恒路 , 赵素云 , 宣州 :
大数据挑战：数据管理视角。 157-164 刘玲（Ling Liu） :
用于大数据处理的计算基础设施。 165-170 马海欣 , 钱伟宁 , 范霞 , 何晓峰 , 徐军（Jun Xu） , 周奥英 :
为微博的流行建模。 171-184 李荣华 , 刘建全 , 于旭 , 陈汉雄 , 北川博彦（Hiroyuki Kitagawa） :
基于位置的大型社交网络中的共现预测。 185-194 彪冷 , 曾家贝 , 张雄 , 吕伟峰 , 月亮湾 :
基于概率树的客流预测及其在北京地铁系统中的应用。 195-203 R.普里西拉 , S.斯瓦米纳桑 :
半监督分层方法：微阵列基因表达数据的二维聚类。 204-213 郑旺（音） , 葛光浦 , 李建文 , 陈玉祥 , 赵永新 , 陈明松 , Bin Gu先生 , 杨梦飞 , 何继峰 :
一种新的周期控制系统需求分析方法。 214-235 秦舒 , 邱宗岩 , 王淑玲（Shuling Wang） :
封装对象的限制框架。 236-256 王波 , 镇江湖 , 孙强 , 赵海燕 , 熊英飞 , 张伟（音译） , 洪梅 :
支持使用可更新视图细化特征模型。 257-271 于舟 , 张卫国 , 胡安·李 , 新丰洞 , 肖国珍 :
平衡布尔函数的自相关分布。 272-278 刘志远 , 彭军（Jun Pang） , 张晨毅 :
使用透明TTP设计和正式验证CEM协议。 279-297 仙鹏皇甫 , 德克·郭 , 陈红辉 , 罗雪山 :
KMcube：Kautz有向图和Möbius立方体的复合。 298-306
第7卷第3期，2013年6月
王毅（Yi Wang） , 李仁发 :
基于FPGA的公钥和私钥密码系统的统一体系结构。 307-316 小潘 , 孟晓峰 :
保护位置隐私，而不需要移动服务中的确切位置。 317-340 吴楠 , 海星湖 , 宋方敏 , 郑惠民 , 李向东 :
量子软件框架：初步研究。 341-349 陶松 , 石小龙 , 徐金邦 :
可逆峰值神经P系统。 350-358 羌倩 , 陈松灿 :
协度量：一种用于多视图数据的度量学习算法。 359-369 萨瓦斯·科努尔 :
用于指定和验证实时系统的时间逻辑综述。 370-403 秦马康 , 洪河 :
使用蜜蜂交配优化最小化应用程序完成时间的任务分配。 404-415 阿米特·库马尔·辛格 , 阿卡什·库马尔 , 吴继刚 , Thambipillai Srikanthan公司 :
CADSE：用于有效运行时MPSoC管理的具有通信意识的设计空间探索。 416-430 海波蜜 , 王怀敏 , 周扬帆 , 迈克尔·隆宗吕 , 华彩 , 刚印 :
用于云计算系统的在线面向服务的性能评测工具。 431-445 王子厚 , Yanni Han（韩亚尼） , 陶林 , 徐月梅 , 宋词 , 慧堂 :
基于贴近中心性的拓扑感知虚拟网络嵌入。 446-457
第7卷第4期，2013年8月
亨武（Heng Wu） , 张文波 , 张建华 , 魏军（Jun Wei） , 陶晃 :
云计算中的多层应用程序的福利软件按需供应方法。 459-474 王玉伟 , 周元春 , 刘莹（音） , 泽洛 , 郭丹怀 , 景绍 , 费坦 , 梁武 , 李建辉 , 鲍平燕 :
一种基于网格的野鸟分布聚类算法。 475-485 宋国志 , 杨丽英 , 吴继刚 , 约翰·A·斯科曼 :
基于分析模型的单蜂窝和蜂窝/WLAN集成系统的性能比较。 486-495 魏丽 , 张伟（音译） :
无线视觉传感器网络中的多目标定位。 496-504 林育金（Yujin Lim） , 桑亨·安 :
校园环境中移动群组通信的体系结构。 505-513 宋王 , 内田正一 , 马库斯·利维基 , 冯耀凯 :
基于部分的手写数字识别方法。 514-525 云烨 , 盛荣宫 , 刘春平 , 贾增 , 宁佳 , 张毅（音） :
概率潜在语义分析的在线信任传播算法。 526-535 李万鹏 , 徐春香 , 张文正 , 朱世雄 , 张秀杰 :
新的具有不可信更新的前向安全签名方案。 536-543 孙海燕 , 乔彦文 , 华章 , 金正平 :
一种新的无对无证书认证密钥协商协议，具有可证明的安全性。 544-557 马志毅 , 小河 , 刘超（Chao Liu） :
评估元模型的质量。 558-570 梅晨（Mei Chen） , 金小龙 , 王元卓 , 程雪琪 , 葛永民 :
对具有不同服务容量的优先级排队系统进行建模。 571-582 魏东敏 , 柯晨 , 柯永珍 :
一种用于自动分布式网络资源管理的矩阵语法方法。 583-594
第7卷第5期，2013年10月
Jean-Pierre Talpin女士 :
同步编程特别部分的前言。 595-597 Van Chan Ngo先生 , Jean-Pierre Talpin女士 , 蒂埃里·戈蒂埃 , 保罗·勒格尼 , 洛伊克·贝斯纳德 :
向经过认证的编译器进行同步数据流程序转换的正式验证。 598-616 胡凯 , 张腾（Teng Zhang） , 杨志斌 :
从Signal程序到OpenMP的多线程代码生成。 617-626 于华峰 , 岳马 , 蒂埃里·戈蒂埃 , 洛伊克·贝斯纳德 , Jean-Pierre Talpin女士 , 保罗·勒格尼奇 , 伊夫·索雷尔 :
通过Polychrony和SynDEx探索AADL中的系统架构。 627-649 让·维维安·米洛 , 油炸木槌 , 安东尼·考杜 , S.拉梅什 :
使用同步方法在存在可变性的情况下进行基于场景的验证。 650-672 杨志斌 , Jean-Paul Bodevix公司 , 马蒙·菲拉利 :
SIGNAL语言两种形式语义的比较研究。 673-693 吴文军（Wenjun Wu） , 蔡伟泰（Wei-Tek Tsai） , 魏丽 :
软件众包评估框架。 694-709 杨红丽 , 蔡超 , 李阳鹏 , 赵祥鹏 , 邱宗岩 , 秦胜超 :
web服务编排中检查通道传递的算法。 710-728 巴勃罗·拉巴纳尔 , 伊斯梅尔·罗德里格斯 , 费尔南多·卢比奥 :
一种求解NP完全问题的ACO-RFD混合方法。 729-744 骊山桥 , 张丽梅 , 陈松灿 :
使用自适应图进行降维。 745-753 Kok-Lim Alvin Yau先生 , Kae Xiang Kwong先生 , 重审 :
无线网络调度的强化学习模型。 754-766 哈尼·梅赫罗特拉 , 班什达尔·马吉 :
基于局部特征的虹膜生物特征检索方法。 767-781 R.普利亚 , T.N.Shanmugam公司 :
综述了基于内容的视觉信息索引和检索的重要研究。 782-799
第7卷第6期，2013年12月
江东辰 , 魏丽 , 杰罗 , 一化楼 , 廖正中 :
基于分解的最大收缩算法。 801-811 丹东欧阳 , 崔显基 , 叶玉欣 :
基于固定范围的OWL本体中的完整性约束。 812-821 邓伟功 , 张燕（音译） :
使用遗传算法为路径覆盖和故障检测生成测试数据。 822-837 刘春平 , 杨正 , 盛荣宫 :
使用带有稀疏显著区域集的语义层次模型进行图像分类。 838-851 秦增昌 , 陶宛 :
带有离散和模糊标签的混合贝叶斯估计树学习。 852-863 冉·刘 , 罗文建 , 李华岳 :
在负面数据库中进行分类和聚类。 864-874 张荣（音） , Koji Zettsu公司 , Yutaka Kidawara村 , 靖国清崎 , 周奥英 :
基于二部图模型的上下文相关Web服务发现。 875-893 哈迪·萨布希 , 萨米姆·阿卜杜勒·卡里姆 :
一种用于复合语义Web服务故障恢复的自动子图修复计划。 894-913 金文兵 , 冯石 , 秋桂歌 , 杨章 :
一种新的提前分支预测架构。 914-923 庄琳 , 邓一平 , 姜玉明（Yuming Jiang） :
关于随机网络演算的应用。 924-942 伊夫蒂哈·艾哈迈德·汗 , 威廉·鲍尔·布林克曼 , 罗伯特·海伦斯 :
通过与键盘和鼠标的交互行为来估计计算机用户的情绪。 943-954 张秀杰 , 徐春香 , 张文政 , 李万鹏 :
门限公钥加密方案在没有随机预言的情况下，能够抵抗连续泄漏。 955-968
