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