Contents

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

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

On Liveness and Safeness of Asymmetric Choice Nets ZHEN Qiang and LU Wei-ming 2000,11(5):590-605 [Abstract(4204)]  [View PDF(5963)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(4202)]  [View PDF(5358)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(5530)]  [View PDF(5775)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(4202)]  [View PDF(5642)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(4227)]  [View PDF(6030)543.66 K]

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

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

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

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

Modeling Object Relationships in Programming Language WAN Jian-cheng and ZHANG Shu-ming 2000,11(5):686-685 [Abstract(4122)]  [View PDF(5738)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(4513)]  [View PDF(5710)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(4359)]  [View PDF(5651)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(4272)]  [View PDF(6059)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(5893)]  [View PDF(5567)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(7235)]  [View PDF(8607)700.44 K]