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

2009年第20卷第3期目录

   
浏览其它刊期:  
  

本期目录

描述逻辑εLN 循环术语集的不动点语义及推理
  蒋运承,王驹,史忠植,汤庸
  2009,20(3):477-490 [摘要(3781)]  [PDF 863.13 K (3555)]
  
描述逻辑μALCQO 的语义及推理
  蒋运承,王驹,汤庸,邓培民
  2009,20(3):491-504 [摘要(3314)]  [PDF 729.56 K (3360)]
  
Petri 网的步问题研究
  潘理,赵卫东,王志成,周新民,柳先辉
  2009,20(3):505-514 [摘要(3982)]  [PDF 598.58 K (4401)]
  
逻辑系统NMG 的满足性和紧致性
  周红军,王国俊
  2009,20(3):515-523 [摘要(3453)]  [PDF 629.28 K (3391)]
  
随机QoS 感知的可靠Web 服务组合
  范小芹,蒋昌俊,王俊丽,庞善臣
  2009,20(3):546-556 [摘要(4297)]  [PDF 619.06 K (5980)]
  
一种用于软件过程建模的适应性Agent 协商
  黎巎,李明树,王青,赵琛,杜栓柱
  2009,20(3):557-566 [摘要(3734)]  [PDF 598.65 K (3707)]
  
基于模糊多属性决策理论的语义Web 服务组合算法
  李祯,杨放春,苏森
  2009,20(3):583-596 [摘要(4010)]  [PDF 827.86 K (5743)]
  
重构C++程序物理设计
  周天琳,史亮,徐宝文,周毓明
  2009,20(3):597-607 [摘要(3737)]  [PDF 615.94 K (4331)]
  
QoS 区分的自适应p-Persistent MAC 算法对信道利用率的动态优化
  白翔,毛玉明,冷甦鹏,毛建兵,谢军
  2009,20(3):608-619 [摘要(3653)]  [PDF 727.92 K (3716)]
  
防范前缀劫持的互联网注册机制
  刘欣,朱培栋,彭宇行
  2009,20(3):620-629 [摘要(3530)]  [PDF 605.03 K (3852)]
  
基于自适应随机行走的可扩展无偏抽样方法
  符永铨,王意洁,周婧
  2009,20(3):630-643 [摘要(2919)]  [PDF 849.77 K (3703)]
  
公平的有向传感器网络方向优化和节点调度算法
  温俊,蒋杰,窦文华
  2009,20(3):644-659 [摘要(3215)]  [PDF 1.08 M (4113)]
  
一种结构化P2P 协议中的自适应负载均衡方法
  熊伟,谢冬青,焦炳旺,刘洁
  2009,20(3):660-670 [摘要(4398)]  [PDF 801.29 K (5085)]
  
面向智能空间的位置感知方法研究
  明亮,赵刚,谢桂海,王春雷
  2009,20(3):671-681 [摘要(3693)]  [PDF 706.42 K (4330)]
  
一种基于分组密码的hash 函数
  林品,吴文玲,武传坤
  2009,20(3):682-691 [摘要(3696)]  [PDF 512.57 K (3765)]
  
可证安全的无证书代理签名方案
  陈虎,张福泰,宋如顺
  2009,20(3):692-701 [摘要(4114)]  [PDF 549.41 K (6276)]
  
秋季植物叶子表观的模拟
  迟小羽,盛斌,杨猛,陈彦云,吴恩华
  2009,20(3):702-712 [摘要(3744)]  [PDF 2.21 M (3602)]
  
支持外观属性保持的三维网格模型简化
  卢威,曾定浩,,潘金贵
  2009,20(3):713-723 [摘要(3586)]  [PDF 797.01 K (4121)]
  
基于特征点的三维人脸形变模型
  龚勋,王国胤
  2009,20(3):724-733 [摘要(3161)]  [PDF 927.47 K (6671)]
  
基于概率模型的高动态范围图像色调映射
  宋明黎,王慧琼,陈纯,叶秀清,顾伟康
  2009,20(3):734-743 [摘要(3117)]  [PDF 933.75 K (5113)]
  
一种基于补偿代价的长事务调度算法
  朱锐,郭长国,王怀民
  2009,20(3):744-753 [摘要(3413)]  [PDF 620.82 K (3862)]
  
一种细粒度高效多版本文件系统
  向小佳,舒继武,郑纬民
  2009,20(3):754-765 [摘要(2726)]  [PDF 809.72 K (3826)]
  
集群软件无线电系统中实时信号处理调度研究
  朱晓敏,陆佩忠
  2009,20(3):766-778 [摘要(3845)]  [PDF 863.05 K (3467)]
  

综述文章

软件过程建模方法研究
  李明树,杨秋松,翟健
  2009,20(3):524-545 [摘要(13314)]  [PDF 1.09 M (14052)]
  
基础软件平台质量评估
  兰雨晴,赵同,高静,接卉,金茂忠
  2009,20(3):567-582 [摘要(5790)]  [PDF 780.38 K (10582)]
  
 

京公网安备 11040202500064号

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