任洪敏 朱承 钱乐秋. 基于时序逻辑软件构架形式化方法研究[J]. 计算机科学, 2003, 30(5): 1-3.

顾志松 黄允中 张世永. 基于Internet的第四代移动通信系统[J]. 计算机科学, 2003, 30(5): 4-5.

肖震 陈红 王珊. 并行数据仓库Para Ware系统的查询优化[J]. 计算机科学, 2003, 30(5): 6-8.

李国徽 杨进才 王洪亚. 移动环境下实时事务处理[J]. 计算机科学, 2003, 30(5): 9-11.

陈小芳 丁柯 金蓓弘. 事务处理技术综述[J]. 计算机科学, 2003, 30(5): 12-16.

沈立 鲁建壮 王志英. 谓词执行及其关键技术浅析[J]. 计算机科学, 2003, 30(5): 17-19.

孙明 周明天 詹瑾瑜. 基于CORBA集群进程管理服务的研究与设计[J]. 计算机科学, 2003, 30(5): 20-22.

陈荣 姜云飞 林笠. 溯因推理研究：现状与问题[J]. 计算机科学, 2003, 30(5): 23-25.

倪志伟 蔡庆生. 基于知识发现的范例推理系统[J]. 计算机科学, 2003, 30(5): 26-29.

唐文彬 朱淼良. 一种基于规则推理的BDI模型实现[J]. 计算机科学, 2003, 30(5): 30-32.

蔡烈斌 刘宗田 韵冬. 序贯模式挖掘评述[J]. 计算机科学, 2003, 30(5): 33-36.

刘玉葆 冯玉才 王元珍 冯剑琳. 数据立方梯度挖掘的研究[J]. 计算机科学, 2003, 30(5): 37-41.

刘振岩 王万森. 基于XML的Web数据挖掘的研究[J]. 计算机科学, 2003, 30(5): 42-43.

陆建江. 加权模糊关联规则的研究[J]. 计算机科学, 2003, 30(5): 44-46.

王丽丽 曹存根 顾芳 田雯. 基于本体论的民族知识获取与分析[J]. 计算机科学, 2003, 30(5): 47-54.

胡舜耕 王克宏. 知识管理与知识共享[J]. 计算机科学, 2003, 30(5): 55-58.

辛志 刘少辉 史忠植. 提高0LAP系统性能的方法研究[J]. 计算机科学, 2003, 30(5): 59-62.

周颖 杨炳儒. 基于语言场理论的连续属性离散化方法及实现[J]. 计算机科学, 2003, 30(5): 63-66.

刘悦 冯国臻 程学旗 薄立彦. 理想的Web IR服务模式的研究[J]. 计算机科学, 2003, 30(5): 67-70.

陈治平 林亚平. 基于最高响应比算法的WWW索引库更新方法[J]. 计算机科学, 2003, 30(5): 71-72.

王斌 李元香 王治. 一种求解TSP问题的单亲遗传算法[J]. 计算机科学, 2003, 30(5): 73-75.

蔡立晶 吕泽华 李凡. Vague集的三维表示及相似度量[J]. 计算机科学, 2003, 30(5): 76-77.

高锐智 华成英. 汉字字形结构式压缩方法的研究和实现[J]. 计算机科学, 2003, 30(5): 78-81.

朱美琳 刘向东 陈世福. 核方法在人脸识别中的应用[J]. 计算机科学, 2003, 30(5): 82-84.

黄璜 周欣 孙家驌. 层次型Java软件质量度量模型研究[J]. 计算机科学, 2003, 30(5): 85-89.

潘颖 赵俊峰 谢冰. 构件库技术的研究与发展[J]. 计算机科学, 2003, 30(5): 90-93.

毛新军 闫琪 王怀民 楚蓓蓓. 面向agent的软件开发方法[J]. 计算机科学, 2003, 30(5): 94-96.

杨仕平 熊光泽 桑楠. 安全关键系统高可信保障技术的研究[J]. 计算机科学, 2003, 30(5): 97-101.

戎玫 张广泉. 模型检测新技术研究[J]. 计算机科学, 2003, 30(5): 102-104.

施笑安 周兴社 林奕 李晖. 集成保护和分散式抽象的可扩展操作系统[J]. 计算机科学, 2003, 30(5): 105-107.

孙晓平 郭腾冲 魏明珠 涂序彦. 基于UML的面向对象的图形用户界面设计模型[J]. 计算机科学, 2003, 30(5): 108-112.

邓辉文 王艺 胡伟平. 自调整模糊控制器的控制参数和控制规则[J]. 计算机科学, 2003, 30(5): 113-114.

张君雁 闵帆 杨国纬. 一种基于移动Agent的主动网络体系结构[J]. 计算机科学, 2003, 30(5): 115-117.

曹秉超 张媛 都志辉. TCP／IP协议对快速网络的作用分析[J]. 计算机科学, 2003, 30(5): 118-121.

谭连生 赵甫哲 刘芹. 一种改进的基于Smith原则的计算机高速通信网络的拥塞控制方案[J]. 计算机科学, 2003, 30(5): 122-128.

傅建明 朱福喜. Web请求的时延刻画和降低时延的协作分配模型[J]. 计算机科学, 2003, 30(5): 129-131.

刘宴兵 李秉智. 具有QoS特征宽带IP网络队列调度算法的研究[J]. 计算机科学, 2003, 30(5): 132-133.

刘红卫 王新辉 刘三阳. 多用户检测问题的半定规划坐标下降算法[J]. 计算机科学, 2003, 30(5): 134-135.

唐宏 吴中福 聂能 赵军 熊思民. 基于多层小区结构的移动IP移动性管理[J]. 计算机科学, 2003, 30(5): 136-138.

李毅超 闵帆 夏梦芹 杨国纬. 一种针对拒绝服务攻击的IP逆向追踪方案[J]. 计算机科学, 2003, 30(5): 139-141.

陈尚兵 何小燕 钱积新. 数据报拥塞控制协议（DCCP）研究[J]. 计算机科学, 2003, 30(5): 142-144.

李毅超 王珏 夏梦芹 曾家智. 伪装IP追踪技术综述[J]. 计算机科学, 2003, 30(5): 145-149.

尹青 周伟 王清贤. 基于XML的组安全策略描述[J]. 计算机科学, 2003, 30(5): 150-152.

吴和生 范训礼 谢俊元. 网络环境下一次性口令身份认证的研究与实现[J]. 计算机科学, 2003, 30(5): 153-156.

张险峰 秦志光 刘锦德. 一个基于ECC的EIGamal型（t，n）门限数字签名方案[J]. 计算机科学, 2003, 30(5): 157-160.

谭兴烈 王天忠 唐国栋 周明天 沈昌祥. PKI技术在IPSec系列协议中的应用[J]. 计算机科学, 2003, 30(5): 160-163.

刘璟 周明天. 鲁棒且容错的大型动态组播系统的密钥管理[J]. 计算机科学, 2003, 30(5): 164-166.

兰蓉 徐弥榆 郑守淇 桂小林. 计算技术的重要应用领域——计算金融[J]. 计算机科学, 2003, 30(5): 167-169.

田力威 尹朝万. 面向虚拟企业联盟的多级信息滤波体系设计与实现[J]. 计算机科学, 2003, 30(5): 170-172.

王海源 王茜. 基于票据的微支付形式[J]. 计算机科学, 2003, 30(5): 173-175.

陈长清 程恳 冯玉才. 一种用于搜索可能响应查询的候选实化视图的索引[J]. 计算机科学, 2003, 30(5): 176-179.

李双庆 游莲 古平 程代杰. 一种基于XML的数据交换中间件技术[J]. 计算机科学, 2003, 30(5): 180-182.

熊海灵 伍胜 余建桥. 异构数据源的集成与访问[J]. 计算机科学, 2003, 30(5): 183-184.