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

软件学报 2007年第12期杂志 文档列表

软件学报杂志面向服务的计算专刊

面向服务的计算专刊前言第2965-2966页

关键词: 分布式计算模式；  面向服务；  internet；  分布式对象计算；  web服务；  软件开发；  web页面；  web技术；  

一个基于服务层叠网的分层服务组合框架第2967-2979页

关键词: 服务组合；  服务层叠网；  协议；  协议组合；  用户可编程；  

一种基于扩展有限自动机验证组合Web服务的方法第2980-2990页

关键词: 组合web服务；  确定有限自动机；  形式化验证；  

基于Petri网的语义Web服务自动组合方法第2991-3000页

关键词: web服务；  web服务组合；  horn子句；  petri网；  

Web服务行为兼容性的判定与计算第3001-3014页

关键词: web服务；  服务行为；  行为兼容；  进程；  

面向服务的企业应用集成系统描述与验证第3015-3030页

关键词: 面向服务的体系架构；  体系架构模型；  综合前置系统；  时序逻辑；  petri网；  形式化描述；  正确性验证；  

基于可生存性规范的软件构件系统恢复的建模与推理第3031-3047页

关键词: 基于构件的软件工程；  基于构件的系统；  构件重用；  可生存性规范；  服务核；  系统恢复；  

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

支持域间分布式分组过滤的BGP扩展第3048-3059页

关键词: 可信任互联网；  边界网关协议；  域间路由；  分布式分组过滤；  

高速网络监控中大流量对象的提取第3060-3070页

关键词: 网络测量；  大流量对象；  淘汰机制；  异常检测；  

一种网络自组织演化的数学模型第3071-3079页

关键词: 网络；  自组织；  演化；  建模；  good；  

一种基于故障时间的可调域间出口选择算法第3080-3091页

关键词: gateway；  流量工程；  路由项；  转发路径；  路由稳定性；  

基于D稳定域和ITAE准则的主动队列管理算法第3092-3103页

关键词: 主动队列管理；  拥塞控制；  pid控制；  d稳定域；  itae；  

无线传感器网络网内数据处理节点的优化选取第3104-3114页

关键词: 无线；  传感器网络；  网内数据处理；  处理节点选取；  节能；  

基于软件的网络处理器的路由高速缓存算法研究第3115-3123页

关键词: 路由高速缓存；  网络处理器；  路由查找；  

无线传感器网络中参数设定的双层规划模型及算法第3124-3130页

关键词: 无线传感器网络；  双层规划模型；  最优数据包长度；  最优传输半径；