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

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

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

有界闭域上的线性赋值循环终止性分析第1133-1142页

关键词: 可信计算；  非线性循环；  终止性分析；  jordan标准型；  有界闭域；  

一种面向非干扰的线程程序逻辑第1143-1153页

关键词: 非干扰；  动态作用域线程；  公理语义；  

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

面向规则DOACROSS循环的流水并行代码自动生成第1154-1168页

关键词: 流水并行；  自动并行；  doacross循环；  代价模型；  

基于高斯过程的缺陷定位方法第1169-1179页

关键词: 缺陷定位；  缺陷修复；  缺陷报告；  推荐方法；  高斯过程；  

支持大规模个性化功能需求的服务网络构建第1180-1195页

关键词: 服务组合；  个性化需求；  大规模需求；  服务网络；  渐进迭加；  

一种面向多用户的负载感知动态服务选择模型第1196-1211页

关键词: 两阶段服务选择；  负载感知；  负载等级；  多维qos模型；  面向多用户；  

Tabular表达式的指称语义研究第1212-1224页

关键词: tabular表达式；  指称语义；  软件说明文档；  

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

基于可信度的辩论模型及争议评价算法第1225-1238页

关键词: 辩论模型；  不确定性；  可信度；  争议评价算法；  

稀疏近似最近特征空间嵌入标签传播第1239-1254页

关键词: 半监督学习；  稀疏表示；  标签传播；  最近特征空间嵌入；  

区分3种否定的模糊命题逻辑系统及其应用第1255-1272页

关键词: 模糊知识；  矛盾否定；  对立否定；  中介否定；  模糊命题逻辑；  

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

一种可信终端运行环境远程证明方案第1273-1290页

关键词: 可信计算；  远程证明；  属性证明；  终端行为；  

一种面向机会网络路由的最优停止决策方法第1291-1300页

关键词: 机会网络；  路由算法；  最优停止；  投递延迟；  投递成功率；  

结构化对等网测量方法研究第1301-1315页

关键词: 网络测量；  p2r结构化对等网络；  kademlia；  kad网络；  

基于冲突指示和分组隐藏节点冲突解析策略第1316-1327页

关键词: ieee；  802；  15；  4；  隐藏冲突问题；  隐藏冲突解析机制；  分组策略；  lr；  wpan；  

网络虚拟化环境中面向服务聚合的映射算法第1328-1338页

关键词: 网络虚拟化；  宏电路；  服务聚合；  映射算法；