主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公编辑办公English
2018-2019年专刊出版计划 微信服务介绍 最新一期:2019年第11期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿
 

2007年第18卷第1期目录

   
浏览其它刊期:  
  

本期目录

一种扩展了价格信息的时间Petri网
  刘显明,李师贤,李文军,潘理
  2007,18(1):1-10 [摘要(4129)]  [PDF 767.00 K (3539)]
  
时间约束Petri网及其可调度性分析与验证
  宋巍,窦万春,刘茜萍
  2007,18(1):11-21 [摘要(3578)]  [PDF 902.74 K (3736)]
  
Petri网共享PP-型子网合成性质分析
  夏传良,焦莉,陆维明
  2007,18(1):22-32 [摘要(3047)]  [PDF 875.27 K (3176)]
  
G?del n值命题逻辑中命题的α-真度理论
  李骏,王国俊
  2007,18(1):33-39 [摘要(2883)]  [PDF 435.15 K (2880)]
  
关于二元延迟3步前馈逆有限自动机的结构
  王鸿吉,姚刚
  2007,18(1):40-49 [摘要(2881)]  [PDF 1.28 M (2479)]
  
场景驱动的构件行为抽取
  张岩,胡军,于笑丰,张天,李宣东,郑国梁
  2007,18(1):50-61 [摘要(4236)]  [PDF 770.53 K (3360)]
  
一种基于时间自动机的实时系统测试方法
  陈伟,薛云志,赵琛,李明树
  2007,18(1):62-73 [摘要(4640)]  [PDF 760.47 K (4981)]
  
一种基于异常传播分析的数据流分析方法
  姜淑娟,徐宝文,史亮
  2007,18(1):74-84 [摘要(3148)]  [PDF 671.46 K (3264)]
  
基于目标距离评估的启发式Web Services组合算法
  温嘉佳,陈俊亮,彭泳
  2007,18(1):85-93 [摘要(3372)]  [PDF 529.68 K (3596)]
  
一种基于模型的特征交互检测方法
  左继红,王千祥,梅宏
  2007,18(1):94-104 [摘要(3041)]  [PDF 653.07 K (3024)]
  
基于轨迹标签的无结构P2P副本一致性维护算法
  谢鲲,张大方,谢高岗,文吉刚
  2007,18(1):105-116 [摘要(3276)]  [PDF 743.85 K (2978)]
  
基于有状态Bloom filter引擎的高速分组检测
  叶明江,崔勇,徐恪,吴建平
  2007,18(1):117-126 [摘要(4427)]  [PDF 629.39 K (4023)]
  
无线传感器网络多重覆盖问题分析
  刘明,曹建农,郑源,陈力军,谢立
  2007,18(1):127-136 [摘要(3911)]  [PDF 788.35 K (3236)]
  
用于评估网络信息系统的风险传播模型
  张永铮,方滨兴,迟悦,云晓春
  2007,18(1):137-145 [摘要(4559)]  [PDF 904.20 K (4615)]
  
内容传递网络处理能力受限代理放置贪婪算法
  陈益峰,何炎祥,曹建农
  2007,18(1):146-156 [摘要(8175)]  [PDF 728.16 K (13790)]
  
基于相似度加权推荐的P2P环境下的信任模型
  李景涛,荆一楠,肖晓春,王雪平,张根度
  2007,18(1):157-167 [摘要(5348)]  [PDF 647.89 K (6531)]
  
基于分布式密钥生成方法的RSA可验证签名分享设计
  吕克伟
  2007,18(1):168-176 [摘要(3336)]  [PDF 570.47 K (2894)]
  
 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利