Contents

Consistency Between the Predicate μ-Calculus and Modal Graphs LIU Jian and LIN Hui-Min 2003,14(10):1672-1680 [Abstract(4503)]  [View PDF(7076)1.02 M]

Dense Time Representation and Redundancy Elimination CHEN Jing 2003,14(10):1681-1691 [Abstract(4749)]  [View PDF(6356)1.09 M]

A Method for Discovering Functional Dependencies and Its Application ZHANG Shou-Zhi and SHI Bai-Le 2003,14(10):1692-1696 [Abstract(5214)]  [View PDF(7288)547.71 K]

Threshold Optimization with a Small Number of Samples in Adaptive Information Filtering XIA Ying-Ju,HUANG Xuan-Jing,HU Tian and WU Li-De 2003,14(10):1697-1705 [Abstract(4529)]  [View PDF(6691)778.37 K]

Mining Constrained Cube Gradient for the Condensed Data Cube FENG Yu-Cai,LIU Yu-Bao and FENG Jian-Lin 2003,14(10):1706-1716 [Abstract(4817)]  [View PDF(6278)899.48 K]

Mobile Agent Security Facility for Network Management YANG Bo,YANG Kun and LIU Da-You 2003,14(10):1761-1767 [Abstract(5123)]  [View PDF(6238)661.97 K]

Study on the Performance of Overloaded Servers YAO Nian-Min and JU Jiu-Bin 2003,14(10):1781-1786 [Abstract(4731)]  [View PDF(6777)569.70 K]

An Efficient Rejection Test for Ray/Triangle Mesh Intersection XU Zhi-Yuan,TANG Ze-Sheng and TANG Long 2003,14(10):1787-1795 [Abstract(5592)]  [View PDF(6889)707.68 K]

Inverse Rendering in a Global Illuminated Environment SUN Qi-Min and WU En-Hua 2003,14(10):1796-1805 [Abstract(4785)]  [View PDF(6965)1.08 M]

Constrained Surface Scaling BO Peng-Bo and ZHANG Cai-Ming 2003,14(10):1806-1812 [Abstract(4757)]  [View PDF(6285)656.54 K]

Improvement of the Termination Criterion for Subdivision of the Rational Bézier Curves ZHANG Ren-Jiang and WANG Guo-Jin 2003,14(10):1813-1818 [Abstract(4479)]  [View PDF(6291)539.20 K]

Review Articles

A Survey on the Coalgebraic Methods in Computer Science ZHOU Xiao-Cong and SHU Zhong-Mei 2003,14(10):1661-1671 [Abstract(8574)]  [View PDF(9939)865.33 K]

Concepts, Issues and Advance of Sensor Networks and Data Management of Sensor Networks LI Jian-Zhong,LI Jin-Bao and SHI Sheng-Fei 2003,14(10):1717-1727 [Abstract(17452)]  [View PDF(23345)839.25 K]

A Survey on Web Application Servers FAN Guo-Chuang,ZHONG Hua,HUANG Tao and FENG Yu-Lin 2003,14(10):1728-1739 [Abstract(9461)]  [View PDF(11963)913.86 K]

Twenty Years Development of Security Protocols Research QING Si-Han 2003,14(10):1740-1752 [Abstract(10254)]  [View PDF(11540)925.38 K]

A Survey on Natural Language Text Copy Detection BAO Jun-Peng,SHEN Jun-Yi,LIU Xiao-Dong and SONG Qin-Bao 2003,14(10):1753-1760 [Abstract(9538)]  [View PDF(12040)687.33 K]

Linkage Analysis for the World Wide Web and Its Application: A Survey WANG Xiao-Yu and ZHOU Ao-Ying 2003,14(10):1768-1780 [Abstract(8408)]  [View PDF(11217)950.56 K]