Volume 8,Issue 5,1997 Table of Contents

Other Issues:  
  
Contents

  • ON REMOVING UNGUARDED RECURSIONS IN THE π CALCULUS
  • LIN Huimin
  • 1997,8(5):321-326 [Abstract(2599)]  [View PDF(2714)367.34 K]
  • A MULTIMEDIA SERVICE SYSTEM SUPPORTING PARALLEL STREAMS
  • WU Fei,CHENG Fujie and WANG Pu
  • 1997,8(5):327-334 [Abstract(3059)]  [View PDF(3472)545.80 K]
  • THE STATISTICAL GENETIC ALGORITHMS
  • ZHANG Ling and ZHANG Bo
  • 1997,8(5):335-344 [Abstract(3570)]  [View PDF(3482)645.85 K]
  • ANALYZING AND IMPROVING THE CONDOR
  • GUO Lei,JU Jiubin and ZHANG Yiying
  • 1997,8(5):345-349 [Abstract(3252)]  [View PDF(3297)361.07 K]
  • BUILDING EXECUTABLE SPECIFICATION TO SUPPORT SOFTWARE DEVELOPMENT
  • YING Jing,HE Zhijun and WU Zhaohui
  • 1997,8(5):350-359 [Abstract(2910)]  [View PDF(3068)720.65 K]
  • TUR: A HIGH PERFORMANCE ROUTER IN UNIX KERNEL
  • BI Jun and WU Jianping
  • 1997,8(5):360-366 [Abstract(2726)]  [View PDF(2812)480.87 K]
  • A FORMAL APPROACH TO TTCN BASED TEST EXECUTION
  • HAO Ruibing,WU Jianping and SHI Meilin
  • 1997,8(5):367-375 [Abstract(2936)]  [View PDF(2820)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(2907)]  [View PDF(3781)1.76 M]
  • AN OBJECT ORIENTED AUTOMATIC PROGRAMMING IN TYPE THEORY
  • QUAN Bingzhe,JIN Chunzhao and XUAN Shunji
  • 1997,8(5):384-390 [Abstract(2966)]  [View PDF(2774)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(2731)]  [View PDF(3192)447.12 K]
  • DESIGN AND IMPLEMENTATION OF A CHINESE HOTJAVA BROWSER
  • TIAN Jinlan,XU Weisheng and LU Sifei
  • 1997,8(5):397-400 [Abstract(3936)]  [View PDF(3195)305.26 K]