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

2003年第14卷第10期目录

   
浏览其它刊期:  
  

本期目录

谓词μ演算和模态图的语义一致性
  刘剑,林惠民
  2003,14(10):1672-1680 [摘要(2705)]  [PDF 1.02 M (3099)]
  
稠密时间表示及冗余消除
  陈靖
  2003,14(10):1681-1691 [摘要(3022)]  [PDF 1.09 M (2680)]
  
一种发现函数依赖集的方法及应用
  张守志,施伯乐
  2003,14(10):1692-1696 [摘要(3285)]  [PDF 547.71 K (3296)]
  
自适应信息过滤中使用少量正例进行阈值优化
  夏迎炬,黄萱菁,胡恬,吴立德
  2003,14(10):1697-1705 [摘要(2604)]  [PDF 778.37 K (2860)]
  
浓缩数据立方中约束立方梯度的挖掘
  冯玉才,刘玉葆,冯剑琳
  2003,14(10):1706-1716 [摘要(2896)]  [PDF 899.48 K (2834)]
  
面向网络管理的移动主体安全设施
  杨博,杨鲲,刘大有
  2003,14(10):1761-1767 [摘要(3252)]  [PDF 661.97 K (2966)]
  
过载服务器的性能研究
  姚念民,鞠九滨
  2003,14(10):1781-1786 [摘要(2956)]  [PDF 569.70 K (3316)]
  
一种用于光线与三角形网格求交运算的有效剔除算法
  徐智渊,唐泽圣,唐龙
  2003,14(10):1787-1795 [摘要(3550)]  [PDF 707.68 K (3395)]
  
全局光照环境中的逆向绘制
  孙其民,吴恩华
  2003,14(10):1796-1805 [摘要(2930)]  [PDF 1.08 M (3208)]
  
带约束的曲面放缩
  伯彭波,张彩明
  2003,14(10):1806-1812 [摘要(2931)]  [PDF 656.54 K (2775)]
  
有理Bézier曲线离散终判准则的改进
  章仁江,王国瑾
  2003,14(10):1813-1818 [摘要(2680)]  [PDF 539.20 K (2884)]
  

综述文章

计算机科学中的共代数方法的研究综述
  周晓聪,舒忠梅
  2003,14(10):1661-1671 [摘要(5760)]  [PDF 865.33 K (4093)]
  
传感器网络及其数据管理的概念、问题与进展
  李建中,李金宝,石胜飞
  2003,14(10):1717-1727 [摘要(11971)]  [PDF 839.25 K (8404)]
  
Web应用服务器研究综述
  范国闯,钟华,黄涛,冯玉琳
  2003,14(10):1728-1739 [摘要(6295)]  [PDF 913.86 K (5592)]
  
安全协议20年研究进展
  卿斯汉
  2003,14(10):1740-1752 [摘要(6950)]  [PDF 925.38 K (4733)]
  
自然语言文档复制检测研究综述
  鲍军鹏,沈钧毅,刘晓东,宋擒豹
  2003,14(10):1753-1760 [摘要(6030)]  [PDF 687.33 K (5305)]
  
万维网的链接结构分析及其应用综述
  王晓宇,周傲英
  2003,14(10):1768-1780 [摘要(5493)]  [PDF 950.56 K (4670)]
  
 

京公网安备 11040202500064号

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