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

软件学报 2013年第05期杂志 文档列表

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

子网树求解一般间隙和长度约束严格模式匹配第915-932页

关键词: 模式匹配；  一般间隙；  长度约束；  子网树；  

量子最弱自由前置条件的交换性及其性质第933-941页

关键词: 量子谓词；  超算子；  量子最弱自由前置条件；  交换；  

Call for papers The lOth International Symposium on Formal Aspects of Component Software第941-941页

关键词: 期刊；  编辑部；  编辑工作；  

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

基于模型的构件软件修改影响分析第942-960页

关键词: 修改影响分析；  修改影响分析模型；  基于构件的软件；  软件维护；  

从用户需求到软件规约：一种问题变换的方法第961-976页

关键词: 问题框架；  通信顺序进程；  领域和需求建模；  最弱环境演算；  软件规约；  

一种基于层次切片谱的软件错误定位技术第977-992页

关键词: 层次切片模型；  层次切片谱；  可疑度；  错误定位；  程序谱；  

自由选择工作流网的可靠完备化简规则集第993-1005页

关键词: 自由选择工作流网；  流程化简；  合成；  化简规则的可靠性；  化简规则集的完备性；  

软件学报杂志模式识别与人工智能

基于网络的动态多文档文摘系统框架第1006-1021页

关键词: 模型框架；  矩阵子空间；  整体优选；  动态演化；  

基于树核的隐式篇章关系识别第1022-1035页

关键词: 篇章；  篇章结构分析；  隐式篇章关系识别；  树核；  复合核；  

第15届国际信息与通信安全会议(ICICS2013)征稿通知第1035-1035页

关键词: 安全会议；  征稿通知；  通信；  信息；  国际；  cs系列；  ici；  

采用无标注语料的动词和形容词主观性评级第1036-1050页

关键词: 主观性；  无标注语料；  级差线索；  主体线索；  评级；  汉字主观性；  

基于条件随机场方法的开放领域新词发现第1051-1060页

关键词: 新词发现；  condition；  random；  中文分词；  

PDDL的ER建模以及开发基于存储过程的规划器第1061-1077页

关键词: 人工智能；  智能规划；  规划系统；  存储过程；  关系数据库管理系统；  

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

基于OpenFlow的SDN技术研究第1078-1097页

关键词: openflow；  未来互联网；  控制器；  虚拟化；  软件定义网络；  

基于本地信任系统的可靠动态源路由协议第1098-1110页

关键词: 可靠路由；  移动自组织网络；  信任系统；  动态源路由协议；  激励策略；