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

2011年第22卷第6期目录

   
浏览其它刊期:  
  

本期目录

可量化的移动Ad Hoc 网络时空动态特性评估方法
  王伟,管晓宏,王备战,王亚平
  2011,22(6):1333-1349 [摘要(3393)]  [PDF 561.52 K (6046)]
  
高效安全的基于身份的签名方案
  谷科,贾维嘉,姜春林
  2011,22(6):1350-1360 [摘要(4868)]  [PDF 585.42 K (3942)]
  
WSANs 中基于实时性约束的actor 节点优化部署策略
  车楠,李治军,姜守旭
  2011,22(6):1361-1372 [摘要(4024)]  [PDF 749.26 K (3079)]
  
基于爬行器的大规模P2P IPTV 测量
  姜志宏,王晖,樊鹏翼
  2011,22(6):1373-1388 [摘要(4244)]  [PDF 877.73 K (3668)]
  
各向异性传感环境下的移动对象反监控算法
  王雷,蒋新华,王益民,林亚平
  2011,22(6):1389-1397 [摘要(3111)]  [PDF 757.51 K (2645)]
  
基于不确定图的网络漏洞分析方法
  刘强,殷建平,蔡志平,程杰仁
  2011,22(6):1398-1412 [摘要(3439)]  [PDF 617.70 K (3942)]
  

综述文章

P2P 流量识别
  鲁刚,张宏莉,叶麟
  2011,22(6):1281-1298 [摘要(6789)]  [PDF 840.72 K (8746)]
  
属性基加密机制
  苏金树,曹丹,王小峰,孙一品,胡乔林
  2011,22(6):1299-1315 [摘要(7426)]  [PDF 987.90 K (13368)]
  
无证书公钥密码体制研究
  张福泰,孙银霞,张磊,耿曼曼,李素娟
  2011,22(6):1316-1332 [摘要(6757)]  [PDF 817.61 K (7642)]
  

专刊文章

形式化方法与工具专刊前言
  ****王戟,李宣东
  2011,22(6):1121-1122 [摘要(6437)]  [PDF 181.15 K (3945)]
  
策略驱动的可靠嵌入式系统建模及分析方法
  范贵生,虞慧群,陈丽琼,刘冬梅
  2011,22(6):1123-1139 [摘要(5544)]  [PDF 568.31 K (3979)]
  
Java 指针指向分析优化
  李倩,汤恩义,戴雪峰,王林章,赵建华
  2011,22(6):1140-1154 [摘要(6311)]  [PDF 723.13 K (4907)]
  
Object-Z 规格说明测试用例的自动生成器
  许庆国,缪淮扣,曹晓夏,胡晓波
  2011,22(6):1155-1168 [摘要(6735)]  [PDF 926.87 K (6742)]
  
循环对称化简及在三值模型上的扩展
  魏欧,袁泳,蔡昕烨,黄志球,徐丙凤
  2011,22(6):1169-1184 [摘要(6784)]  [PDF 769.28 K (3602)]
  
场景驱动的服务行为调控
  柳溪,杨璐,潘敏学,王林章
  2011,22(6):1185-1198 [摘要(6293)]  [PDF 789.46 K (3511)]
  
混合语义时间Petri 网模型
  潘理,丁志军,郭观七
  2011,22(6):1199-1209 [摘要(6185)]  [PDF 623.71 K (4087)]
  
软件体系结构动态演化的条件超图文法及分析
  徐洪珍,曾国荪,陈波
  2011,22(6):1210-1223 [摘要(6167)]  [PDF 466.11 K (4243)]
  
基于AOP 的运行时验证中的冲突检测
  张献,董威,齐治昌
  2011,22(6):1224-1235 [摘要(6413)]  [PDF 603.94 K (3820)]
  
基于自动机理论的分布式实时调度分析工具
  桂盛霖,罗蕾,李允,于淼,徐建华
  2011,22(6):1236-1251 [摘要(6557)]  [PDF 915.24 K (4050)]
  
AADL 模型可靠性分析评估工具
  董云卫,王广仁,张凡,高磊
  2011,22(6):1252-1266 [摘要(6971)]  [PDF 882.34 K (5644)]
  
时变网络中国邮路问题的时间自动机模型
  谭国真,孙景昊,王宝财,姚卫红
  2011,22(6):1267-1280 [摘要(7165)]  [PDF 627.04 K (4021)]
  
 

京公网安备 11040202500064号

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