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

2011年第22卷第11期目录

   
浏览其它刊期:  
  

本期目录

鸽巢公式的一些性质
  许道云,韦立,王晓峰
  2011,22(11):2553-2563 [摘要(3489)]  [PDF 566.33 K (3143)]
  
基于文法分支覆盖的短句子生成算法
  郑黎晓,许智武,陈海明
  2011,22(11):2564-2576 [摘要(3154)]  [PDF 696.70 K (3470)]
  
基于编档的体系结构视图冲突检测方法
  朱文辉,黄罡,孙艳春,梅宏
  2011,22(11):2577-2592 [摘要(2776)]  [PDF 890.72 K (2736)]
  
一种服务Agent 的可信性评估方法
  朱曼玲,金芝
  2011,22(11):2593-2609 [摘要(3401)]  [PDF 975.29 K (3474)]
  
监控使能的分布式软件系统构造方法
  刘东红,郭长国,王怀民,王涛
  2011,22(11):2610-2624 [摘要(3324)]  [PDF 862.60 K (3330)]
  
基于事件确定有限自动机的UML2.0 序列图描述与验证
  张琛,段振华,田聪
  2011,22(11):2625-2638 [摘要(3029)]  [PDF 981.94 K (3509)]
  
面向方面的计算误差处理技术:实例研究与评估
  崔展齐,王林章,刘慧根,李宣东
  2011,22(11):2639-2651 [摘要(2828)]  [PDF 775.38 K (3250)]
  
事务控制的面向服务系统的动态更新协调
  王德俊,黄林鹏,徐小辉
  2011,22(11):2652-2667 [摘要(3045)]  [PDF 804.38 K (2974)]
  
基于有限自动机的多层次构件行为匹配模型
  初佃辉,孟凡超,战德臣,徐晓飞
  2011,22(11):2668-2683 [摘要(2944)]  [PDF 813.29 K (2993)]
  
BPEL 流程建模中的交叠模式分析与转换
  张曼,段振华,王小兵
  2011,22(11):2684-2697 [摘要(3468)]  [PDF 799.88 K (3048)]
  
Web 服务组合功能与QoS 的形式化统一建模和分析
  肖芳雄,黄志球,曹子宁,屠立忠,祝义
  2011,22(11):2698-2715 [摘要(3202)]  [PDF 845.47 K (3941)]
  
基于对象的软件行为模型
  傅建明,陶芬,王丹,张焕国
  2011,22(11):2716-2728 [摘要(3374)]  [PDF 648.43 K (3706)]
  
融合安全的网格依赖任务调度双目标优化模型及算法
  朱海,王宇平
  2011,22(11):2729-2748 [摘要(3277)]  [PDF 1.15 M (3387)]
  
基于率的构件软件可靠性过程仿真
  侯春燕,崔刚,刘宏伟
  2011,22(11):2749-2759 [摘要(3193)]  [PDF 983.76 K (3143)]
  
复杂分布数据的二阶段聚类算法
  公茂果,王爽,马萌,曹宇,焦李成,马文萍
  2011,22(11):2760-2772 [摘要(3145)]  [PDF 1.14 M (4268)]
  
查询依赖的有序多超平面排序学习模型
  孙鹤立,黄健斌,冯博琴,赵志勤,刘均,郑庆华
  2011,22(11):2773-2781 [摘要(2820)]  [PDF 562.80 K (3444)]
  
可信可控网络中的QoS 资源控制模型
  曲延盛,李伟,罗军舟,王鹏
  2011,22(11):2782-2794 [摘要(3011)]  [PDF 1.29 M (3164)]
  
基于时延的Flash Crowd 控制模型
  肖军,云晓春,张永铮
  2011,22(11):2795-2809 [摘要(2821)]  [PDF 793.73 K (3112)]
  
基于衰落Bloom Filter 的P2P 网络弱状态路由算法
  朱桂明,郭得科,金士尧
  2011,22(11):2810-2819 [摘要(2869)]  [PDF 626.48 K (3025)]
  
标准模型下通用可组合的口令认证密钥交换协议
  胡学先,张振峰,刘文芬
  2011,22(11):2820-2832 [摘要(3778)]  [PDF 692.13 K (3398)]
  
基于匹配理论的无线广播编码重传算法
  戴彬,曹志刚,杨军,黄辰,王芙蓉
  2011,22(11):2833-2842 [摘要(2437)]  [PDF 731.63 K (2861)]
  
无证书两方密钥协商方案
  刘文浩,许春香
  2011,22(11):2843-2852 [摘要(2857)]  [PDF 544.66 K (3243)]
  
 

京公网安备 11040202500064号

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