Volume 11,Issue 5,2000 Table of Contents

Other Issues:  
  
Contents

  • An Application of Domain Theory to Logical Design of VLSI Circuits
  • SUN Yong and HU Yi
  • 2000,11(5):569-583 [Abstract(3124)]  [View PDF(2891)706.96 K]
  • Abuses of Ajtai-Dwork Cryptosystem
  • ZHAO Zhu
  • 2000,11(5):584-589 [Abstract(2858)]  [View PDF(2806)377.69 K]
  • On Liveness and Safeness of Asymmetric Choice Nets
  • ZHEN Qiang and LU Wei-ming
  • 2000,11(5):590-605 [Abstract(2720)]  [View PDF(3246)804.02 K]
  • Research on a New Type Integrated Security System
  • MENG Yang,LIU Ke-long and QING Si-han
  • 2000,11(5):616-619 [Abstract(2673)]  [View PDF(2602)266.41 K]
  • Reversible DCT Mapping Integers to Integers and Lossless Image Compression
  • YAN Yu-song and SHI Qing-yun
  • 2000,11(5):620-627 [Abstract(3655)]  [View PDF(2907)446.00 K]
  • Performance Analysis for Massive Problem Data Parallel Computing
  • SHU Ji-wu,ZHENG Wei-min,SHEN Mei-ming and WANG Dong-sheng
  • 2000,11(5):628-633 [Abstract(2836)]  [View PDF(2926)360.69 K]
  • Component Metrics in Jade Bird Component Library System
  • MEI Hong,XIE Tao,YUAN Wang-hong and YANG Fu-qing
  • 2000,11(5):634-641 [Abstract(2656)]  [View PDF(3114)543.66 K]
  • Design and Implementation of an Agent-Based Firewall System
  • ZHANG Lei and QING Si-han
  • 2000,11(5):642-645 [Abstract(3045)]  [View PDF(2925)301.98 K]
  • Flow Dependence Analysis for VLIW Architectures
  • RONG Hong-bo and TANG Zhi-zhong
  • 2000,11(5):646-653 [Abstract(2837)]  [View PDF(2334)481.55 K]
  • A Scheduling and Dropping Algorithm for Packets in QoS Controlling
  • WANG Xiao-chun and ZHANG Yao-xue
  • 2000,11(5):654-659 [Abstract(2795)]  [View PDF(2844)411.94 K]
  • Bayesian Network for Data Mining
  • MU Chun-di,DAI Jian-bin and YE Jun
  • 2000,11(5):660-666 [Abstract(4311)]  [View PDF(4191)393.69 K]
  • Field Theory Based Adaptive Resonance Neural Network Classifier
  • ZHOU Zhi-hua,CHEN Zhao-qian and CHEN Shi-fu
  • 2000,11(5):667-672 [Abstract(3141)]  [View PDF(2870)742.80 K]
  • Spatial Data Classification Based on Rough Set
  • SHI Yun,SUN Yu-fang and ZUO Chun
  • 2000,11(5):673-678 [Abstract(3008)]  [View PDF(2898)657.02 K]
  • Modeling Object Relationships in Programming Language
  • WAN Jian-cheng and ZHANG Shu-ming
  • 2000,11(5):686-685 [Abstract(2685)]  [View PDF(2850)478.62 K]
  • Design and Performance Analysis of a Hybrid Real-Time Scheduling Algorithm with Fault-Tolerance
  • QIN Xiao,HAN Zong-fen,PANG Li-ping and LI Sheng-li
  • 2000,11(5):686-693 [Abstract(2968)]  [View PDF(2930)577.02 K]
  • A Framework for Analyzing Object-Oriented Programs Based on Class Hierarchy Graph
  • LI Bi-xin,LIANG Jia,ZHANG Yong-xiang,FAN Xiao-cong and ZHENG Guo-liang
  • 2000,11(5):694-700 [Abstract(2555)]  [View PDF(2930)473.00 K]
  • Design and Implementation of User Level Multi-Threads in Java Virtual Machine
  • DING Yu-xin and CHENG Hu
  • 2000,11(5):701-706 [Abstract(2714)]  [View PDF(3256)386.86 K]
  • Accurate Baum-Welch Algorithm Free from Overflow
  • JIA Bin,ZHU Xiao-yan,LUO Yu-pin and HU Dong-cheng
  • 2000,11(5):707-710 [Abstract(4173)]  [View PDF(2931)250.66 K]
  • Review Articles

  • From Petri Nets to Formal Description Techniques and Protocol Engineering
  • LUO Jun-zhou,SHEN Jun and GU Guan-qun
  • 2000,11(5):606-615 [Abstract(5060)]  [View PDF(3961)700.44 K]