
16开
主管单位:中国科学院
主办单位:中国科学院软件研究所 中国计算机学会
主 编:李明树
地 址:北京8718信箱中国科学院软件研究所
邮政编码:100080
电 话:010-62562563
电子邮件:jos@iscas.ac.cn
国际标准刊号:ISSN 1000-9825
国内统一刊号:CN 11-2560/TP
邮发代号:82-367
单 价:36
定 价:432
获奖情况
2001年入选中国期刊方阵“双百期刊”
2000年荣获中国科学院优秀科技期刊一等奖
国外数据库收录
俄罗斯文摘杂志
美国工程索引
美国工程索引
美国剑桥科学文摘:计算机与信息系统文摘
美国数学评论
英国物理学、电技术、计算机及控制信息社数据库
德国数学文摘
本刊是中科院软件所和中国计算机学会主办的高级学术刊物,重点报道国家基础研究和高科技项目,如国家自然科学基金、国家重点基础研究项目(973项目)和863高科技项目等的论文,代表我国计算机软件的最高研究水...
更多简介 >>>软件学报 2007年 第01期目录
理论计算机科学
一种扩展了价格信息的时间Petri网刘显明 李师贤 李文军 潘理 (1)
时间约束Petri网及其可调度性分析与验证宋巍 窦万春 刘茜萍 (11)
Godel n值命题逻辑中命题的α-真度理论李骏 王国俊 (33)
关于二元延迟3步前馈逆有限自动机的结构王鸿吉 姚刚 (40)
无
第4届全国Web信息系统及其应用学术会议(WISA 2007)征文通知 (21)
Petri网共享PP-型子网合成性质分析夏传良 焦莉 陆维明 (22)
2007中国计算机大会(CNCC2007)征文通知 (145)
系统软件与软件工程
场景驱动的构件行为抽取张岩 胡军 于笑丰 张天 李宣东 郑国梁 (50)
一种基于时间自动机的实时系统测试方法陈伟 薛云志 赵琛 李明树 (62)
一种基于异常传播分析的数据流分析方法姜淑娟 徐宝文 史亮 (74)
基于目标距离评估的启发式Web Services组合算法温嘉佳 陈俊亮 彭泳 (85)
一种基于模型的特征交互检测方法左继红 王千祥 梅宏 (94)
计算机网络与信息安全
基于轨迹标签的无结构P2P副本一致性维护算法谢鲲 张大方 谢高岗 文吉刚 (105)
基于有状态Bloom filter引擎的高速分组检测叶明江 崔勇 徐恪 吴建平 (117)
无线传感器网络多重覆盖问题分析刘明 曹建农 郑源 陈力军 谢立 (127)
用于评估网络信息系统的风险传播模型张永铮 方滨兴 迟悦 云晓春 (137)
内容传递网络处理能力受限代理放置贪婪算法陈益峰 何炎祥 曹建农 (146)
基于相似度加权推荐的P2P环境下的信任模型李景涛 荆一楠 肖晓春 王雪平 张根度 (157)
基于分布式密钥生成方法的RSA可验证签名分享设计吕克伟 (168)
期刊汇总
- 2008年 01 02 03 04 05 06 07
- 2007年 01 02 03 04 05 06 07 08 09 10 11 12
- 2006年 01 02 03 04 05 06 07 08 09 10 11 12
- 2005年 01 02 03 04 05 06 07 08 09 10 11 12
- 2004年 01 02 03 04 05 06 07 08 09 10 11 12
- 2003年 01 02 03 04 05 06 07 08 09 10 11 12
- 2002年 01 02 03 04 05 06 07 08 09 10 11 12
- 2001年 01 02 03 04 05 06 07 08 09 10 11 12
- 2000年 01 02 03 04 05 06 07 08 09 10 11 12
- 1999年 01 02 03 04 05 06 07 08 09 10 11 12
- 1998年 01 02 03 04 05 06 07 08 09 10 11 12
- 1997年 01 02 03 04 05 06 07 08 09 10 11 12 A00
- 1996年 01 02 03 04 05 06 07 08 09 10 11 12 A00
- 1995年 01 02 03 04 05 06 07 08 09 10 11 12 A01
- 1994年 01 02 03 04 05 06 07 08 09 10 11 12
- 1993年 01 02 03 04 05 06
- 1992年 01 02 03 04
- 1991年 01 02 03 04
- 1990年 01 02 03 04
维普期刊订阅服务
半价订阅期刊
随意下载文章
电子期刊阅览室--满足你移动办公的个性之需




















cqvip.com