Contents

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

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

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

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

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

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

A FORMAL APPROACH TO TTCN BASED TEST EXECUTION HAO Ruibing,WU Jianping and SHI Meilin 1997,8(5):367-375 [Abstract(3692)]  [View PDF(4057)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(3648)]  [View PDF(5023)1.76 M]

AN OBJECT ORIENTED AUTOMATIC PROGRAMMING IN TYPE THEORY QUAN Bingzhe,JIN Chunzhao and XUAN Shunji 1997,8(5):384-390 [Abstract(3614)]  [View PDF(3954)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(3407)]  [View PDF(4414)447.12 K]

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