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

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

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

人气 14819

软件学报 2010年第01期杂志 文档列表

软件学报杂志理论计算机科学
一类扩展的动态描述逻辑第1-13页
关键词: 动态描述逻辑;  动作推理;  动作的执行过程;  表判定算法;  语义web服务;  
求解偏好多目标优化的克隆选择算法第14-33页
关键词: 人工免疫系统;  偏好多目标优化;  偏好等级;  
PSL构造双向交换自动机及非确定自动机的方法第34-46页
关键词: specification;  双向交换自动机;  非确定自动机;  模型检验;  
有缺指派下的信念修正逻辑第47-54页
关键词: 有缺指派;  信念修正;  表示定理;  
软件学报杂志系统软件与软件工程
网格环境下基于流水线的多重相似查询优化第55-67页
关键词: 网格;  多重查询优化;  高维索引;  数据分片;  
基于组件模型分析的组件容器产品线体系结构第68-83页
关键词: 组件模型;  组件容器;  产品线体系结构;  产品线工程;  
基于二分决策图的特征模型验证方法第84-97页
关键词: 特征模型;  验证;  decision;  领域工程;  软件复用;  
基于Biba和Clark—Wilson策略的混合强制完整性模型第98-106页
关键词: 完整性策略;  强制访问控制;  biba模型;  
软件学报杂志计算机网络与信息安全
WSN中基于协作水印的虚假数据过滤算法第107-118页
关键词: 无线传感器网络;  协作水印;  虚假数据识别与过滤;  
容延容断网络路由技术第119-132页
关键词: 网络体系结构;  路由协议;  路由机制;  
中国计算机学会 全国第5届语义Web与本体论学术研讨会(SWON2010)征文通知第132-132页
关键词: 语义web;  学术研讨会;  计算机;  本体论;  征文通知;  学会;  中国;  办公自动化;  
基于网络层析成像技术的拓扑推断第133-146页
关键词: 网络层析成像;  拓扑推断;  网络测量;  相关性;  
Sink轨迹固定传感器网络的高效数据采集机制第147-162页
关键词: 传感器网络;  移动sink;  轨迹固定;  数据采集;  能耗利用率;  
动态信任预测的认知模型第163-176页
关键词: 分布式系统;  信息安全;  动态信任预测模型;  诱导有序加权平均算子;