计算机科学杂志北大期刊CSCD期刊统计源期刊

计算机科学 2015年第12期杂志 文档列表

计算机科学杂志第十三眉全国软件与应用学术会议

一种基于邮件列表的软件问答信息抽取方法第23-25页

关键词: 软件复用；  数据挖掘；  邮件列表；  软件问答；  

功耗感知的自适应粒子群优化虚拟机动态映射第26-31页

关键词: 虚拟机映射；  功率感知；  粒子群优化；  云计算；  

一种面向浏览式购物行为模式的LBS购书移动应用第32-35页

关键词: 浏览购物模式；  lbs应用；  关键词提取；  信息展示；  

基于3D动画的软件演化信息可视化第36-39页

关键词: 软件演化；  软件维护；  可视化；  unity3d；  

一种面向Chrome浏览器的课堂云笔记插件第40-42页

关键词: 学习辅助平台；  互联网教育资源；  云笔记；  插件；  

开源软件开发者的演化研究第43-46页

关键词: 开源软件；  开发者；  协同演化；  

基于数据流分析的单链表可达性自动化验证第47-51页

关键词: 代码验证；  数据流分析；  scope；  logic；  

面向普适计算环境的Android平台服务编排框架第52-55页

关键词: 普适计算；  面向服务的架构；  安卓；  服务编排；  

一种简历语义搜索系统的实现方法第56-59页

关键词: 语义网；  rdf；  sparql；  性能优化；  

一种面向PaaS的实例级应用动态更新技术第60-64页

关键词: paas；  动态更新；  cloud；  foundry；  

基于RUCM的软件安全性需求描述方法第65-70页

关键词: 安全性需求；  rucm；  数据字典；  故障；  

一种结合线性时序逻辑和故障树的软件安全验证方法第71-75页

关键词: 故障树分析；  模型检验；  线性时序逻辑；  安全关键系统；  安全属性；  

结合运动方程与卡尔曼滤波的动态目标追踪预测算法第76-81页

关键词: 无线定位；  运动方程；  卡尔曼滤波；  动态目标；  

基于MARTE模型的系统可靠性预测第82-86页

关键词: 系统可靠性；  uml；  marte模型；  马尔可夫决策过程；  

本体概念图的展示过程及技术实现第87-91页

关键词: 语义网；  本体编辑；  模型转换；