HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0
首页 期刊 软件学报杂志 软件学报杂志介绍(非官网)
软件学报杂志

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

主管单位:中国科学院  主办单位:中国科学院软件研究所;中国计算机学会

人气 14817

软件学报 2009年第03期杂志 文档列表

软件学报杂志理论计算机科学
描述逻辑εLN循环术语集的不动点语义及推理第477-490页
关键词: 描述逻辑;  循环术语集;  描述图;  模拟关系;  不动点语义;  
描述逻辑μALCQO的语义及推理第491-504页
关键词: 描述逻辑;  完全强化自动机;  不动点构造算子;  
Petri网的步问题研究第505-514页
关键词: petri网;  发;  步问题;  np完全性;  np等价性;  
逻辑系统NMG的满足性和紧致性第515-523页
关键词: 模糊逻辑;  逻辑系统nmg;  极大相容理论;  满足性;  紧致性;  cantor空间;  
软件学报杂志系统软件与软件工程
软件过程建模方法研究第524-545页
关键词: 软件过程;  建模;  分析;  系统评价;  
随机QoS感知的可靠Web服务组合第546-556页
关键词: web服务组合;  qos随机性;  web服务;  可靠组合;  
一种用于软件过程建模的适应性Agent协商第557-566页
关键词: 协商模型;  适应性;  q学习;  软件过程建模;  agent;  
基础软件平台质量评估第567-582页
关键词: 基础软件平台;  质量评估;  质量属性;  质量模型;  
基于模糊多属性决策理论的语义web服务组合算法第583-596页
关键词: 语义web服务;  服务组合;  工作流技术;  
重构C++程序物理设第597-607页
关键词: 软件演化;  软件重构;  物理设计;  软件再工程;  
软件学报杂志计算机网络与信息安全
QoS区分的自适应p-Persistent MAC算法对信道利用率的动态优化第608-619页
关键词: qos区分;  p坚持;  坚持因子;  自适应算法;  发送尝试;  
防范前缀劫持的互联网注册机制第620-629页
关键词: 边界网关协议;  域间路由系统;  前缀劫持;  前缀策略;  互联网路由注册处;  互联网注册机制;  
基于自适应随机行走的可扩展无偏抽样方法第630-643页
关键词: 无偏抽样;  非结构化p2p系统;  随机算法;  可扩展性;  
公平的有向传感器网络方向优化和节点调度算法第644-659页
关键词: 有向传感器网络;  多覆盖集;  效用函数;  节点调度;  
一种结构化P2P协议中的自适应负载均衡方法第660-670页
关键词: p2p;  负载均衡;  结构化覆盖网;  缓存;  chord;