软件学报杂志北大期刊CSCD期刊统计源期刊

软件学报 2014年第11期杂志 文档列表

软件学报杂志理论计算机科学

带Mismatch算子的高阶π演算第2433-2451页

关键词: 公理化；  互模拟；  mismatch；  线性；  高阶；  进程演算；  

使用事件自动机规约的C语言有界模型检测第2452-2472页

关键词: 事件自动机；  可满足性模理论；  有界模型检测；  自动机可达树；  安全关键软件；  

软件学报杂志系统软件与软件工程

一种综合考虑主客观权重的Web服务QoS度量算法第2473-2485页

关键词: web服务；  qos；  主观权重；  客观权重；  

基于指向更新的优先权指针分析算法第2486-2498页

关键词: 指针分析；  数据流分析；  指向集；  流不敏感；  

面向细粒度源代码变更的缺陷预测方法第2499-2517页

关键词: 缺陷预测；  软件演化；  细粒度变更；  概念漂移；  成本有效性；  

软件学报杂志模式识别与人工智能

双极信息的聚合与分解第2518-2527页

关键词: 双极信息；  信息聚合；  双极蕴涵；  双极信息分解；  

平行推理机制：一种隐式篇章关系检测方法第2528-2555页

关键词: 篇章；  隐式篇章关系；  关系检测；  平行线索；  篇章关系消歧；  

一种基于移动用户位置的网络服务推荐方法第2556-2574页

关键词: 位置服务；  个性化服务；  相似度；  推荐系统；  协同过滤；  信任关系；  

软件学报杂志数据库技术

一种闪存敏感的多级缓存管理方法第2575-2586页

关键词: 固态硬盘；  数据库；  多级缓存；  置换代价；  缓冲区；  

时态拟序数据结构研究及应用第2587-2601页

关键词: 时态拟序；  基于线序划分数据结构；  增量式更新；  tqoindex；  

信息网络中一个有效的基于链接的结点相似度度量第2602-2615页

关键词: simrank；  personalized；  pagerank；  

软件学报杂志计算机网络与信息安全

一种采用混合切分法的报文分类算法第2616-2626页

关键词: 网络安全；  服务质量；  报文分类；  决策树；  空间分割；  

传感网中的四锚点节点定位实解个数分析第2627-2635页

关键词: 传感网；  四锚点；  节点定位；  实解个数；  

一种基于支持向量回归的802．11无线室内定位方法第2636-2651页

关键词: 无线室内定位；  数据过滤；  连续k次测量；  

基于仿生模式识别的未知推荐攻击检测第2652-2665页

关键词: 协同推荐；  推荐攻击；  攻击检测；  信息熵；  仿生模式识别；