期刊封面
月刊  1990
期刊信息
主管单位:中国科学院
主编:李明树
ISSN:1000-9825
CN:11-2560/TP
地址:北京8718信箱
邮政编码:100190
电话:010-62562563
Email:jos@iscas.a...

软件学报

分享到:
Journal of Software
mometason vitiligo mometason 300 mometason 900

《软件学报》是一本刊登计算机软件各领域原创性研究成果的期刊,所刊登的论文均经过严格的同行专家评议.《软件学报》主要面向全球华人计算机软件学者,致力于创办与世界计算机科学和软件技术发展同步的以中文为主的"中文国际软件学术期刊",为全球华人同行提供学术交流平台.

  •     目录   << 2009年 008 期 >>
1. 深度包检测中一种高效的正则表达式压缩算法 (被引次数:44) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2009年 008期    作者:徐乾    作者单位:中国科学院
GADR(REGULAR EXPRESSIONS GROUP ALGORITHM BASED ON DR),在可以接受的存储需求总量下,通过选择性分群大幅度减少了状态机的个数,有效地降低了匹配算法的复
2. 直觉线性μ-演算中的合成推理 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2009年 008期    作者:KAZMI SYED ASAD RAZA    作者单位:中国科学院 软件研究所 计算机科学重点实验室
讨论了以基于前缀封闭集合的HEYTING代数的直觉解释的线性μ-演算(IμTL)作为描述"假设-保证"的逻辑基础的问题,提出了一个基于IμTL的"假设-保证"规则.该规则比往常应用线性时序逻辑(LTL
3. 行为驱动的基于角色的信任管理 (被引次数:5) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2009年 008期    作者:李斓    作者单位:上海交通大学
给出了描述行为驱动的信任管理语言RTB.将变量引入到角色中可以记录用户的累积行为状态;行为驱动的信任规则根据用户已发生的行为调整其在本信任域中被分配的角色;组合规则提高了信任判定的效率;信任策略更新规
4. 应用于移动互联网的PEER-TO-PEER关键技术 (被引次数:22) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2009年 008期    作者:李伟    作者单位:武汉邮电科学研究院
对现有的应用于移动互联网的P2P技术方面的研究进行了分析.首先介绍了P2P技术和移动互联网的概念,并提出将P2P技术应用在移动互联网所面临的挑战和应用模式.其次,分别针对集中式架构、超级节点体系架构和
5. 一种基于图转换的模型重构描述语言 (被引次数:6) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2009年 008期    作者:刘辉    作者单位:北京理工大学
提出了一种基于图转换的模型重构描述语言.针对模型重构的特征,设计了模型重构描述语言的基本元素,并给出了如何通过这些基本元素描述模型重构及重构规则的方法.在此基础上,给出了根据形式化重构规则执行模型重构
6. 《软件学报》投稿指南 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2009年 008期   
7. 延迟容忍移动传感器网络中基于选择复制的数据传输 (被引次数:46) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2009年 008期    作者:朱金奇    作者单位:电子科技大学
丢弃原则,以进一步降低网络传输能耗.模拟实验结果表明,与现有的几种DTMSN(DELAY TOLERANT MOBILE SENSOR NETWORKS)数据传输算法相比,SRAD的网络寿命相对较长,
8. 用于指针逻辑的自动定理证明器 (被引次数:2) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2009年 008期    作者:王振明    作者单位:中国科学技术大学
提出了一种为指针逻辑设计定理证明器的新技术,该项技术主要是基于变换和替代,已在APL的工具中得以实现.APL自动定理证明器是完全自动的,且其产生的证明可以被有效地记录和检验.已使用关于单链表、双链表和
9. 无监督词义消歧研究 (被引次数:9) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2009年 008期    作者:王瑞琴    作者单位:浙江大学
研究的目的是对现有的无监督词义消歧技术进行总结,以期为进一步的研究指明方向.首先,介绍了无监督词义消歧研究的意义.然后,重点总结分析了国内外各类无监督词义消歧研究中的各项关键技术,包括使用的数据源、采
10. 一种基于拓扑势的网络社区发现方法 (被引次数:90) 原文获取 
[中文期刊]   刊名:《软件学报》   PKU  ISTIC  CSCD  2009年 008期    作者:淦文燕    作者单位:清华大学
从数据场思想出发,提出了一种基于拓扑势的社区发现算法.该方法引入拓扑势描述网络节点间的相互作用,将每个社区视为拓扑势场的局部高势区,通过寻找被低势区域所分割的连通高势区域实现网络的社区划分.理论分析与