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

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

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

一种扩展了价格信息的时间Petri网第1-10页

关键词: 时间petri网；  价格；  价格时间变迁系统；  状态类；  业务流程管理；  

时间约束Petri网及其可调度性分析与验证第11-21页

关键词: 时间相关petd网；  tcpn；  弱可调度；  强可调度；  可调度性分析；  

第4届全国Web信息系统及其应用学术会议（WISA 2007）征文通知第21-21页

Petri网共享PP-型子网合成性质分析第22-32页

关键词: petri网；  分析；  合成；  活性和有界性；  子网；  

Gdel n值命题逻辑中命题的α-真度理论第33-39页

关键词: 真度；  伪距离；  

Call for Papers 2nd International Conference on Knowledge Science, Engineering and Management （KSEM 2007）第39-39页

关于二元延迟3步前馈逆有限自动机的结构第40-49页

关键词: 有限自动机；  半输入存储；  前馈逆；  可逆性；  

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

场景驱动的构件行为抽取第50-61页

关键词: 接口自动机；  消息序列图；  极大包含环境；  构件；  行为抽取；  

一种基于时间自动机的实时系统测试方法第62-73页

关键词: 实时系统测试；  最简稳定符号状态迁移图；  测试用例生成；  

一种基于异常传播分析的数据流分析方法第74-84页

关键词: 异常处理；  程序分析；  异常传播；  控制流图；  数据流分析；  

基于目标距离评估的启发式Web Services组合算法第85-93页

关键词: web服务；  语义；  服务组合；  启发式；  

一种基于模型的特征交互检测方法第94-104页

关键词: 特征交互；  模型检测；  模型；  约束；  非单调性；  形式化方法；  

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

基于轨迹标签的无结构P2P副本一致性维护算法第105-116页

关键词: 一致性维护；  无结构p2p网络；  节点轨迹标签；  布鲁姆过滤器；  

基于有状态Bloom filter引擎的高速分组检测第117-126页

关键词: 网络安全；  网络入侵检测；  分组检测；  串匹配；  bloom；  filter；  

无线传感器网络多重覆盖问题分析第127-136页

关键词: 无线传感器网络；  覆盖度；  多重覆盖；