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(2311)]  [View PDF(2521)367.34 K]
  • A MULTIMEDIA SERVICE SYSTEM SUPPORTING PARALLEL STREAMS
  • WU Fei,CHENG Fujie and WANG Pu
  • 1997,8(5):327-334 [Abstract(2799)]  [View PDF(3267)545.80 K]
  • THE STATISTICAL GENETIC ALGORITHMS
  • ZHANG Ling and ZHANG Bo
  • 1997,8(5):335-344 [Abstract(3222)]  [View PDF(3286)645.85 K]
  • ANALYZING AND IMPROVING THE CONDOR
  • GUO Lei,JU Jiubin and ZHANG Yiying
  • 1997,8(5):345-349 [Abstract(2962)]  [View PDF(3098)361.07 K]
  • BUILDING EXECUTABLE SPECIFICATION TO SUPPORT SOFTWARE DEVELOPMENT
  • YING Jing,HE Zhijun and WU Zhaohui
  • 1997,8(5):350-359 [Abstract(2577)]  [View PDF(2890)720.65 K]
  • TUR: A HIGH PERFORMANCE ROUTER IN UNIX KERNEL
  • BI Jun and WU Jianping
  • 1997,8(5):360-366 [Abstract(2388)]  [View PDF(2628)480.87 K]
  • A FORMAL APPROACH TO TTCN BASED TEST EXECUTION
  • HAO Ruibing,WU Jianping and SHI Meilin
  • 1997,8(5):367-375 [Abstract(2633)]  [View PDF(2644)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(2585)]  [View PDF(3527)1.76 M]
  • AN OBJECT ORIENTED AUTOMATIC PROGRAMMING IN TYPE THEORY
  • QUAN Bingzhe,JIN Chunzhao and XUAN Shunji
  • 1997,8(5):384-390 [Abstract(2629)]  [View PDF(2599)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(2382)]  [View PDF(3002)447.12 K]
  • DESIGN AND IMPLEMENTATION OF A CHINESE HOTJAVA BROWSER
  • TIAN Jinlan,XU Weisheng and LU Sifei
  • 1997,8(5):397-400 [Abstract(3684)]  [View PDF(2992)305.26 K]