Contents

An Application of Domain Theory to Logical Design of VLSI Circuits SUN Yong and HU Yi 2000,11(5):569-583 [Abstract(4037)]  [View PDF(4592)706.96 K]

Abuses of Ajtai-Dwork Cryptosystem ZHAO Zhu 2000,11(5):584-589 [Abstract(3767)]  [View PDF(4471)377.69 K]

On Liveness and Safeness of Asymmetric Choice Nets ZHEN Qiang and LU Wei-ming 2000,11(5):590-605 [Abstract(3544)]  [View PDF(5029)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(3531)]  [View PDF(4358)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(4749)]  [View PDF(4813)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(3632)]  [View PDF(4674)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(3498)]  [View PDF(5025)543.66 K]

Design and Implementation of an Agent-Based Firewall System ZHANG Lei and QING Si-han 2000,11(5):642-645 [Abstract(3852)]  [View PDF(4695)301.98 K]

Flow Dependence Analysis for VLIW Architectures RONG Hong-bo and TANG Zhi-zhong 2000,11(5):646-653 [Abstract(3620)]  [View PDF(4119)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(3563)]  [View PDF(4686)411.94 K]

Bayesian Network for Data Mining MU Chun-di,DAI Jian-bin and YE Jun 2000,11(5):660-666 [Abstract(5754)]  [View PDF(6491)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(3936)]  [View PDF(4630)742.80 K]

Spatial Data Classification Based on Rough Set SHI Yun,SUN Yu-fang and ZUO Chun 2000,11(5):673-678 [Abstract(3819)]  [View PDF(4724)657.02 K]

Modeling Object Relationships in Programming Language WAN Jian-cheng and ZHANG Shu-ming 2000,11(5):686-685 [Abstract(3517)]  [View PDF(4748)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(3900)]  [View PDF(4736)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(3620)]  [View PDF(4819)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(3530)]  [View PDF(5090)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(5243)]  [View PDF(4654)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(6414)]  [View PDF(7105)700.44 K]