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

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

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

采用了剪枝优化的子类型关系判定算法第1481-1490页

关键词: xml；  静态类型化语言；  类型检查；  子类型关系判定；  算法优化；  

改进的以SMT为基础的实时系统限界模型检测第1491-1502页

关键词: 限界模型检测；  可满足性模块理论；  实时系统；  时间自动机；  时间kripke结构；  带时间参数的计算树逻辑；  

软件学报杂志算法设计与分析

串匹配算法中模式串与文本之间关系的研究第1503-1514页

关键词: 串匹配；  字符概率分布；  字符串相关性；  

Multicut问题参数算法的改进第1515-1523页

关键词: muliticut；  node；  multicut；  集合划分；  极大恰当划分；  

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

分布式缓存系统中一种优化缓存部署的图算法第1524-1535页

关键词: 分布式缓存系统；  缓存放置；  图算法；  

基于规格说明的若干逻辑覆盖测试准则第1536-1549页

关键词: 测试用例；  测试准则；  判定；  条件；  规格说明；  包含关系；  

软件学报杂志数据库技术

基于容斥原理的Skyband基数估计方法第1550-1560页

关键词: 基数；  skyband查询；  skyline查询；  数据库系统；  查询优化；  

图像-文本相关性挖掘的Web图像聚类方法第1561-1575页

关键词: 图聚类；  复杂图；  可见度；  dirichlet；  谱聚类；  

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

高速长距离网络传输协议第1576-1588页

关键词: 高速长距离网络；  传输协议；  拥塞控制；  性能评价；  海量数据传输；  

互联网无中断转发的生存性路由协议第1589-1604页

关键词: 瞬时失效；  路由恢复；  快速重路由；  多路径路由；  生存性路由；  

网络态势感知研究第1605-1619页

关键词: 网络态势感知；  数据融合；  模型；  知识表示；  评估方法；  

车用自组网信息广播第1620-1634页

关键词: 车用自组网；  单跳和多跳广播；  可扩展性；  鲁棒性；  

终端性能自适应传输协议第1635-1645页

关键词: 高速长距离光网络；  传输协议；  终端性能自适应；  拥塞检测；  速率适配；  

无线传感器网络中的最大生命期基因路由算法第1646-1656页

关键词: 无线传感器网络；  网络生命期；  路由算法遗传算法；  梯度算法；  

第1届中国网络攻防与系统安全会议（NADSS 2010）征文通知第1656-1656页

关键词: 网络攻防；  安全会议；  系统；  征文通知；  中国；  黑客技术；  交流平台；  网络安全；