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

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

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

基于逻辑电路的Petri网化简方法第1553-1562页

关键词: petri网；  化简；  逻辑代数；  最大无圈子网；  

支持术语公理约束的扩展模糊描述逻辑推理第1563-1572页

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

命题线性时序逻辑的对偶模型问题的复杂性第1573-1581页

关键词: 命题线性时序逻辑；  对偶模型；  计算复杂性；  

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

特征模型驱动的Web Services组装方案及其工具支持第1582-1591页

关键词: web；  services；  services组装；  特征模型；  流程引擎；  

基于序列模式的Servlet容器缓存替换第1592-1602页

关键词: servlet缓存；  序列模式；  序列模式发现；  缓存替换算法；  

基于动态反馈的标志位线性分析算法第1603-1611页

关键词: 动态优化；  二进制翻译；  标志住优化；  动态反馈；  线性分析；  

基于MDA的TRISO-Model模型管理方法及应用第1612-1625页

关键词: integrated；  software；  development；  driven；  object；  模型转换；  

基于扩展状态任务网的制造供应链计划第1626-1638页

关键词: 制造供应链；  计划；  扩展状态任务网；  路径重连；  

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

基于特征选择的轻量级入侵检测系统第1639-1651页

关键词: 特征选择；  轻量级入侵检测系统；  过滤器；  封装器；  混合器；  

异构无线网络中垂直切换算法的评测与改进第1652-1659页

关键词: 异构无线网；  垂直切换；  水平切换；  性能评价；  

基于在线模型评估的动态Web系统性能保障第1660-1671页

关键词: 动态多层web系统；  性能保障；  自适应控制；  在线模型评估；  

与位置无关的无线传感器网络连通性覆盖协议第1672-1684页

关键词: 无线传感器网络；  覆盖；  连通；  支配集；  

基于影响集的协作过滤推荐算法第1685-1694页

关键词: 电子商务；  推荐系统；  协作过滤；  影响集；  

面向卫星网络的TCP第1695-1704页

关键词: 卫星网络；  主动监测；  选择性否定确认；  性能分析；  

门户环境中基于语义数据协作应用集成方法第1705-1714页

关键词: 门户；  portlet互操作；  企业应用集成；  语义协作；  本体；  eca规则；