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(2194)]  [View PDF(2453)367.34 K]
  • A MULTIMEDIA SERVICE SYSTEM SUPPORTING PARALLEL STREAMS
  • WU Fei,CHENG Fujie and WANG Pu
  • 1997,8(5):327-334 [Abstract(2679)]  [View PDF(3202)545.80 K]
  • THE STATISTICAL GENETIC ALGORITHMS
  • ZHANG Ling and ZHANG Bo
  • 1997,8(5):335-344 [Abstract(3087)]  [View PDF(3217)645.85 K]
  • ANALYZING AND IMPROVING THE CONDOR
  • GUO Lei,JU Jiubin and ZHANG Yiying
  • 1997,8(5):345-349 [Abstract(2863)]  [View PDF(3035)361.07 K]
  • BUILDING EXECUTABLE SPECIFICATION TO SUPPORT SOFTWARE DEVELOPMENT
  • YING Jing,HE Zhijun and WU Zhaohui
  • 1997,8(5):350-359 [Abstract(2481)]  [View PDF(2827)720.65 K]
  • TUR: A HIGH PERFORMANCE ROUTER IN UNIX KERNEL
  • BI Jun and WU Jianping
  • 1997,8(5):360-366 [Abstract(2276)]  [View PDF(2566)480.87 K]
  • A FORMAL APPROACH TO TTCN BASED TEST EXECUTION
  • HAO Ruibing,WU Jianping and SHI Meilin
  • 1997,8(5):367-375 [Abstract(2505)]  [View PDF(2583)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(2453)]  [View PDF(3438)1.76 M]
  • AN OBJECT ORIENTED AUTOMATIC PROGRAMMING IN TYPE THEORY
  • QUAN Bingzhe,JIN Chunzhao and XUAN Shunji
  • 1997,8(5):384-390 [Abstract(2509)]  [View PDF(2537)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(2242)]  [View PDF(2928)447.12 K]
  • DESIGN AND IMPLEMENTATION OF A CHINESE HOTJAVA BROWSER
  • TIAN Jinlan,XU Weisheng and LU Sifei
  • 1997,8(5):397-400 [Abstract(3573)]  [View PDF(2930)305.26 K]