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