Contents

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

Dense Time Representation and Redundancy Elimination CHEN Jing 2003,14(10):1681-1691 [Abstract(4175)]  [View PDF(5276)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(4548)]  [View PDF(6151)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(3932)]  [View PDF(5535)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(4281)]  [View PDF(5228)899.48 K]

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

Study on the Performance of Overloaded Servers YAO Nian-Min and JU Jiu-Bin 2003,14(10):1781-1786 [Abstract(4183)]  [View PDF(5667)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(4898)]  [View PDF(5743)707.68 K]

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

Constrained Surface Scaling BO Peng-Bo and ZHANG Cai-Ming 2003,14(10):1806-1812 [Abstract(4105)]  [View PDF(5113)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(3812)]  [View PDF(5112)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(7816)]  [View PDF(8084)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(16357)]  [View PDF(17429)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(8717)]  [View PDF(10220)913.86 K]

Twenty Years Development of Security Protocols Research QING Si-Han 2003,14(10):1740-1752 [Abstract(9354)]  [View PDF(9803)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(8721)]  [View PDF(10339)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(7490)]  [View PDF(9527)950.56 K]