Contents

ON REMOVING UNGUARDED RECURSIONS IN THE π CALCULUS LIN Huimin 1997,8(5):321-326 [Abstract(3361)]  [View PDF(4445)367.34 K]

A MULTIMEDIA SERVICE SYSTEM SUPPORTING PARALLEL STREAMS WU Fei,CHENG Fujie and WANG Pu 1997,8(5):327-334 [Abstract(3779)]  [View PDF(5178)545.80 K]

THE STATISTICAL GENETIC ALGORITHMS ZHANG Ling and ZHANG Bo 1997,8(5):335-344 [Abstract(4421)]  [View PDF(5437)645.85 K]

ANALYZING AND IMPROVING THE CONDOR GUO Lei,JU Jiubin and ZHANG Yiying 1997,8(5):345-349 [Abstract(4077)]  [View PDF(5117)361.07 K]

BUILDING EXECUTABLE SPECIFICATION TO SUPPORT SOFTWARE DEVELOPMENT YING Jing,HE Zhijun and WU Zhaohui 1997,8(5):350-359 [Abstract(3691)]  [View PDF(4828)720.65 K]

TUR: A HIGH PERFORMANCE ROUTER IN UNIX KERNEL BI Jun and WU Jianping 1997,8(5):360-366 [Abstract(3518)]  [View PDF(4541)480.87 K]

A FORMAL APPROACH TO TTCN BASED TEST EXECUTION HAO Ruibing,WU Jianping and SHI Meilin 1997,8(5):367-375 [Abstract(3743)]  [View PDF(4597)591.35 K]

A GENERIC METHOD FOR VECTOR BASED GRAPHIC RECOGNITION LIU Wenyin,TANG Long,TANG Zesheng and Dov Dori 1997,8(5):376-383 [Abstract(3726)]  [View PDF(5549)1.76 M]

AN OBJECT ORIENTED AUTOMATIC PROGRAMMING IN TYPE THEORY QUAN Bingzhe,JIN Chunzhao and XUAN Shunji 1997,8(5):384-390 [Abstract(3655)]  [View PDF(4454)420.28 K]

A SYSTEM MODEL OF OBJECT ORIENTED REUSE COMPONENTS LIBRARY MANAGER WANG Qing,ZHANG Weimin and CAI Jianping 1997,8(5):391-396 [Abstract(3464)]  [View PDF(4988)447.12 K]

DESIGN AND IMPLEMENTATION OF A CHINESE HOTJAVA BROWSER TIAN Jinlan,XU Weisheng and LU Sifei 1997,8(5):397-400 [Abstract(4839)]  [View PDF(4832)305.26 K]