Contents

Dependency Graphs Embedding Confluent Graph Grammars LI Guo-Dong and ZHANG De-Fu 2004,15(7):956-968 [Abstract(4351)]  [View PDF(5210)929.95 K]

Polymorphic Type for a Kind of Recursive Functions HUANG Wen-Ji 2004,15(7):969-976 [Abstract(3770)]  [View PDF(4971)671.36 K]

How to Measure Scalability of SMP Cluster HE Jia-Hua,CHEN Guo-Liang and SHAN Jiu-Long 2004,15(7):977-986 [Abstract(4420)]  [View PDF(4795)995.04 K]

A De-Pipeline Algorithm for Software-Pipeline TANG Zhi-Zhong,LI Wen-Long and SU Bo-Gong 2004,15(7):987-993 [Abstract(4003)]  [View PDF(5963)511.88 K]

Fault-Tolerant Routing for Hypercube Multi-Computers Based on Maximum Safety-Path Matrices WANG Lei,LIN Ya-Ping,CHEN Zhi-Ping and WEN Xue 2004,15(7):994-1004 [Abstract(4427)]  [View PDF(5841)951.49 K]

Cost Model and Decision Framework for Software Pipelining LI Wen-Long,LIN Hai-Bo and TANG Zhi-Zhong 2004,15(7):1005-1011 [Abstract(3995)]  [View PDF(5443)336.33 K]

A Model Checking Algorithm for Temporal Logics of Knowledge in Multi-Agent Systems WU Li-Jun and SU Kai-Le 2004,15(7):1012-1020 [Abstract(4045)]  [View PDF(5262)773.74 K]

Fuzzy Kernel Clustering with Outliers SHEN Hong-Bin,WANG Shi-Tong and WU Xiao-Jun 2004,15(7):1021-1029 [Abstract(4796)]  [View PDF(5774)811.91 K]

Default Reasoning with Inconsistent Knowledge WANG Shuang-Cheng and YUAN Sen-Miao 2004,15(7):1030-1041 [Abstract(5069)]  [View PDF(4791)1.04 M]

Research on Learning Bayesian Networks Structure with Missing Data WANG Shuang-Cheng and YUAN Sen-Miao 2004,15(7):1042-1048 [Abstract(5069)]  [View PDF(7215)627.25 K]

A Fair Exchange Protocol Based on RSA Signature Scheme ZHOU Yong-Bin,ZHANG Zhen-Feng,QING Si-Han and JI Qing-Guang 2004,15(7):1049-1055 [Abstract(4504)]  [View PDF(5947)671.98 K]

A Self-Adaptive Storage Area Network System Based on Autonomic Computing FU Chang-Dong,SHU Ji-Wu,ZHENG Wei-Min and SHEN Mei-Ming 2004,15(7):1056-1063 [Abstract(3736)]  [View PDF(5358)640.22 K]

Web Service-Based Grid Architecture and Its Supporting Environment HU Chun-Ming,HUAI Jin-Peng and SUN Hai-Long 2004,15(7):1064-1073 [Abstract(5312)]  [View PDF(7657)632.59 K]

A Multiple Approximate String Matching Algorithm of Network Information Audit System GAO Peng,ZHANG De-Yun,SUN Qin-Dong,ZHAI Ya-Hui and LU Wu-Chun 2004,15(7):1074-1080 [Abstract(4587)]  [View PDF(5127)622.53 K]

A Distributed P2P Network Model Based on Active Network HUANG Dao-Ying,HUANG Jian-Hua,ZHUANG Lei and LI Zu-Peng 2004,15(7):1081-1089 [Abstract(4304)]  [View PDF(6887)802.38 K]

A Robust Active Queue Management Algorithm Based on Reinforcement Learning ZHANG Yan-Bing,HANG Da-Ming,MA Zheng-Xin and CAO Zhi-Gang 2004,15(7):1090-1098 [Abstract(4554)]  [View PDF(5570)853.45 K]

Hierarchical Schemas Design for XML Schemas and DTDs Normalization Design WU Yong-Hui 2004,15(7):1099-1106 [Abstract(3947)]  [View PDF(5670)692.42 K]