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

2009年第20卷第6期目录

   
浏览其它刊期:  
  

本期目录

DDS并行模型及其形式化
  刘真环,韦立,陈艳,赵荣盛,王驹
  2009,20(6):1406-1413 [摘要(3401)]  [PDF 554.88 K (4853)]
  
一种基于满足性判定的并发软件验证策略
  周从华
  2009,20(6):1414-1424 [摘要(3849)]  [PDF 671.35 K (3613)]
  
参数化系统安全性的启发式符号验证
  杨秋松,李明树
  2009,20(6):1444-1456 [摘要(3367)]  [PDF 840.10 K (3523)]
  
UML类图中面向非功能属性的描述和检验
  张岩,梅宏
  2009,20(6):1457-1469 [摘要(3423)]  [PDF 854.96 K (4362)]
  
基于分布式协调模型的服务协作方法研究
  乔晓强,魏峻,黄涛
  2009,20(6):1470-1486 [摘要(3406)]  [PDF 1.19 M (4071)]
  
UML类图层次化自动布图算法
  王晓博,王欢,刘超
  2009,20(6):1487-1498 [摘要(4511)]  [PDF 784.25 K (5885)]
  
基于数据包络分析的软件任务性能基准评价
  阮利,王永吉,王青,曾海涛
  2009,20(6):1499-1510 [摘要(3446)]  [PDF 822.75 K (3834)]
  
用于二维不规则排样的离散临界多边形模型
  张德富,陈竞驰,刘永凯,陈火旺
  2009,20(6):1511-1520 [摘要(3598)]  [PDF 687.65 K (4157)]
  
基于IMOM和IBOHM启发式策略的扩展规则算法
  李莹,孙吉贵,吴瑕,朱兴军
  2009,20(6):1521-1527 [摘要(3684)]  [PDF 459.54 K (3500)]
  
二维矩形条带装箱问题的底部左齐择优匹配算法
  蒋兴波,吕肖庆,刘成城
  2009,20(6):1528-1538 [摘要(4607)]  [PDF 829.39 K (7203)]
  
一种基于行程编码的P2P网络动态信任模型
  方群,吉逸,吴国新,赵生慧,吴鹏
  2009,20(6):1602-1616 [摘要(3901)]  [PDF 1.11 M (4575)]
  
MD5碰撞攻击中的充要条件集
  陈士伟,金晨辉
  2009,20(6):1617-1624 [摘要(3966)]  [PDF 542.42 K (3930)]
  
基于组件属性的远程证明
  秦宇,冯登国
  2009,20(6):1625-1641 [摘要(4513)]  [PDF 1.28 M (4642)]
  
Ad Hoc网络中基于拓扑透明特性的混合MAC协议
  李卫,王杉,魏急波
  2009,20(6):1642-1650 [摘要(3527)]  [PDF 568.13 K (3679)]
  
一种基于图像表观的鲁棒姿态估计方法
  马丙鹏,山世光,陈熙霖,高文
  2009,20(6):1651-1663 [摘要(3231)]  [PDF 1.11 M (3704)]
  
人体运动的函数数据分析与合成
  李淳芃,王兆其,夏时洪
  2009,20(6):1664-1672 [摘要(4062)]  [PDF 857.93 K (4570)]
  
不规则网格上的曲面设计方法
  何军,张彩明,杨兴强
  2009,20(6):1673-1684 [摘要(3772)]  [PDF 831.51 K (4240)]
  
基于概率计算模型改进的相关性层次遮挡裁剪算法
  梁晓辉,任威,于卓,梁爱民
  2009,20(6):1685-1693 [摘要(3360)]  [PDF 666.58 K (3858)]
  
TV图像插值的双方向扩散改进算法
  詹毅,王明辉,万群,李梦
  2009,20(6):1694-1702 [摘要(3146)]  [PDF 945.62 K (3746)]
  

综述文章

组合测试:原理与方法
  严俊,张健
  2009,20(6):1393-1405 [摘要(8855)]  [PDF 831.86 K (12218)]
  
软件错误注入测试技术研究
  陈锦富,卢炎生,谢晓东
  2009,20(6):1425-1443 [摘要(7738)]  [PDF 1.09 M (10723)]
  
无线网状网的QoS研究
  董超,陈贵海,王海
  2009,20(6):1539-1552 [摘要(6248)]  [PDF 2.32 M (5461)]
  
生物特征模板保护
  李鹏,田捷,杨鑫,时鹏,张阳阳
  2009,20(6):1553-1573 [摘要(8548)]  [PDF 1.60 M (10377)]
  
网络距离预测技术研究
  王意洁,李小勇
  2009,20(6):1574-1590 [摘要(5928)]  [PDF 1.06 M (6585)]
  
 

京公网安备 11040202500064号

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