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

软件学报 2008年第10期杂志 文档列表

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

支持模糊隶属度比较的扩展模糊描述逻辑第2498-2507页

关键词: 语义web；  知识表示；  描述逻辑；  模糊；  比较；  推理；  

跨平台C／C＋＋解释计算平台（Ch）及其应用研讨会通知第2507-2507页

传名调用演算的二值传递CPS变换第2508-2516页

关键词: 程序演算；  形式语义；  传名调用；  归约；  

面向复杂网络存储系统的元胞自动机动力学分析方法第2517-2526页

关键词: 对象存储系统；  元胞自动机；  网络拓扑；  数据迁移；  数据复制；  

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

一种解决构件连接死锁问题的方法第2527-2538页

关键词: 适应性；  可靠性；  连接器；  构件；  死锁；  

基于设计演算的形式化用例分析建模框架第2539-2549页

关键词: 用例模型；  语义；  多视图；  一致性检验；  最弱前提条件；  

C代码API一致性检验中的等值分析第2550-2561页

关键词: 静态分析；  api一致性检验；  等值分析；  指针分析；  

基于FJ的多版本类动态更新演算第2562-2572页

关键词: 动态软件更新；  java；  类型系统；  程序设计语言；  

软件学报杂志数据库技术

内存数据库在TPC-H负载下的处理器性能第2573-2584页

关键词: 内存数据库；  处理器特性；  

挖掘数据流任意滑动时间窗口内频繁模式第2585-2596页

关键词: 数据流；  频繁模式挖掘；  滑动时间窗口；  时间衰减模型；  

基于权重查询词的XML结构查询扩展第2611-2619页

关键词: xml；  信息检索；  结构语义；  结构查询扩展；  相关反馈；  

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

一种考虑QoS数据可信性的服务选择方法第2620-2627页

关键词: 可信；  qos；  服务选择；  

ServLoc：无线传感反应网络的安全位置服务机制第2628-2637页

关键词: 无线传感器网络；  无线传感反应网络；  安全位置服务；  定位；  

基于网络编码的无线传感网多路径传输方法第2638-2647页

关键词: 无线传感器网络；  可靠数据传输；  网络编码；  多路径路由；  

基于邻居信息交换的组播快速切换算法第2648-2658页

关键词: 移动组播；  快速切换；  二层触发器；  移动模型；