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

2011年第22卷第3期目录

   
浏览其它刊期:  
  

本期目录

串的快速连续弱哈希及其应用
  徐泽明,侯紫峰
  2011,22(3):353-365 [摘要(3794)]  [PDF 361.86 K (3959)]
  
有穷时间投影时序逻辑的完备公理系统
  舒新峰,段振华
  2011,22(3):366-380 [摘要(3720)]  [PDF 471.13 K (3881)]
  
引入关联缺陷的软件可靠性评估模型
  徐高潮,刘新忠,胡亮,付晓东,董玉双
  2011,22(3):439-450 [摘要(3683)]  [PDF 331.34 K (4103)]
  
负载相似节点分布解决传感器网络能量洞问题
  李巧勤,刘明,杨梅,陈贵海
  2011,22(3):451-465 [摘要(3675)]  [PDF 560.96 K (3651)]
  
基于分布式实时信息的车载网络路由协议
  宋超,刘明,龚海刚,陈贵海,王晓敏
  2011,22(3):466-480 [摘要(3473)]  [PDF 442.21 K (4763)]
  
域间路由协同监测中的信息共享机制
  胡宁,朱培栋,邹鹏
  2011,22(3):481-494 [摘要(3800)]  [PDF 593.74 K (3442)]
  
基于Markov 博弈模型的网络安全态势感知方法
  张勇,谭小彬,崔孝林,奚宏生
  2011,22(3):495-508 [摘要(4445)]  [PDF 938.71 K (7885)]
  
公平交换协议形式逻辑
  陈明,吴开贵,吴长泽,徐洁,吴中福
  2011,22(3):509-521 [摘要(3802)]  [PDF 413.35 K (3759)]
  
提升多维特征检测迷惑恶意代码
  孔德光,谭小彬,奚宏生,宫涛,帅建梅
  2011,22(3):522-533 [摘要(4386)]  [PDF 342.56 K (4436)]
  
时间相关密码协议逻辑及其形式化语义
  雷新锋,刘军,肖军模
  2011,22(3):534-557 [摘要(3806)]  [PDF 563.34 K (3944)]
  
线性网络编码的导出与扩展
  蒲保兴,杨路明,王伟平
  2011,22(3):558-571 [摘要(3938)]  [PDF 347.29 K (4256)]
  
AES 访问驱动Cache 计时攻击
  赵新杰,王韬,郭世泽,郑媛媛
  2011,22(3):572-591 [摘要(3831)]  [PDF 962.39 K (5520)]
  

综述文章

网络化软件的复杂网络特性实证
  马于涛,何克清,李兵,刘婧
  2011,22(3):381-407 [摘要(8307)]  [PDF 614.69 K (9914)]
  
软件库调用规约挖掘
  钟浩,张路,梅宏
  2011,22(3):408-416 [摘要(6735)]  [PDF 369.19 K (4854)]
  
过程感知信息系统中过程的动态演化
  宋巍,马晓星,胡昊,吕建
  2011,22(3):417-438 [摘要(6487)]  [PDF 509.47 K (5118)]
  
 

京公网安备 11040202500064号

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