Contents

Diagnostic Information Generation in Model Checking Value-Passing Processes LIU Jian and LIN Hui-Min 2003,14(1):1-8 [Abstract(4011)]  [View PDF(4700)1.05 M]

Characterizations of Quantum Automata QIU Dao-Wen 2003,14(1):9-15 [Abstract(3607)]  [View PDF(4205)664.00 K]

Translating γ-Calculus into Action Calculus JIN Ying and JIN Cheng-Zhi 2003,14(1):16-22 [Abstract(3708)]  [View PDF(4311)646.85 K]

Automata and Grammars Theory Based on Quantum Logic QIU Dao-Wen 2003,14(1):23-27 [Abstract(4099)]  [View PDF(4641)535.30 K]

A Massive Data Sort Algorithm Based on Serpentine Tape LI Jian-Zhong and ZHANG Yan-Qiu 2003,14(1):28-34 [Abstract(4974)]  [View PDF(4818)595.29 K]

A Multilevel Reduction Algorithm to TSP ZOU Peng,ZHOU Zhi,CHEN Guo-Liang and GU Jun 2003,14(1):35-42 [Abstract(4137)]  [View PDF(6089)906.15 K]

A Cooperative Checkpointing Algorithm with Message Complexity O(n) WANG Dong-Sheng and SHAO Ming-Long 2003,14(1):43-48 [Abstract(4100)]  [View PDF(4451)553.10 K]

Improvement of a Distributed Termination Detection Algorithm LIU Xu-Min and SU Yun-Lin 2003,14(1):49-53 [Abstract(4384)]  [View PDF(4314)466.56 K]

Specification and Verification of the Triple-Modular Redundancy Fault-Tolerant System GUO Liang and TANG Zhi-Song 2003,14(1):54-61 [Abstract(4292)]  [View PDF(4496)766.54 K]

A Process Meta-Model Supporting Dynamic Change of Workflow SUN Rui-Zhi and SHI Mei-Lin 2003,14(1):62-67 [Abstract(4230)]  [View PDF(5612)518.63 K]

An Approach to Static Prediction and Visual Analysis of Program Execution Time SUN Chang-Ai,JIN Mao-Zhong,LIU Chao and LIU Chao 2003,14(1):68-75 [Abstract(4049)]  [View PDF(5019)751.26 K]

Task-Based Access Control Model DENG Ji-Bo and HONG Fan 2003,14(1):76-82 [Abstract(8901)]  [View PDF(11379)614.90 K]

Analysis for Scheduling Theory and Approach of Open Real-Time System ZOU Yong,LI Ming-Shu and WANG Qing 2003,14(1):83-90 [Abstract(3996)]  [View PDF(5643)659.49 K]

History Sensitivity of the Multilevel Security Policies SHI Wen-Chang and SUN Yu-Fang 2003,14(1):91-96 [Abstract(4501)]  [View PDF(5037)651.13 K]

Research and Implementation of Jade Bird Object-Oriented Software Modeling Tool MA Zhi-Yi,ZHAO Jun-Feng,MENG Xiang-Wen and ZHANG Wen-Juan 2003,14(1):97-102 [Abstract(5350)]  [View PDF(4919)563.88 K]

A UML-Based Model Analysis Method in Hardware-Software Codesign CHEN Si-Gong,QIN Xiao and ZHANG Heng-Chong 2003,14(1):103-109 [Abstract(4073)]  [View PDF(5197)608.01 K]

A Distributed Web Server System Based on Cooperative Cache Using Tag LIN Man-Yun and QIAN Hua-Lin 2003,14(1):117-123 [Abstract(3537)]  [View PDF(4668)603.23 K]

A Theory of Generalized Multi-Rate Multicast Weight-Based Fair Rate Allocation ZHAI Ming-Yu and GU Guan-Qun 2003,14(1):124-131 [Abstract(3681)]  [View PDF(4668)814.43 K]

A Clustering Algorithm Applied to the Management of Mobile Ad Hoc Network FENG Yong-Xin,WANG Guang-Xing,LIU Zhi-Guo and JIANG Yue-Qiu 2003,14(1):132-138 [Abstract(3583)]  [View PDF(5427)566.81 K]

Commitment of Mobile Distributed Real-Time Nested Transaction LIU Yun-Sheng,LIAO Guo-Qiong,LI Guo-Hui and XIA Jia-Li 2003,14(1):139-145 [Abstract(3763)]  [View PDF(4389)641.40 K]

Cheat-Proof Secret Share Schemes Based on RSA and One-Way Function FEI Ru-Chun and WANG Li-Na 2003,14(1):146-150 [Abstract(4134)]  [View PDF(5212)479.41 K]

Key Management for Secure Multicast Using Huffman Hierarchy QU Jin1,GE Jian-Hua and JIANG Ming 2003,14(1):151-156 [Abstract(3697)]  [View PDF(4658)578.86 K]

Review Articles

A Survey on Internet Measurement and Analysis ZHANG Hong-Li,FANG Bin-Xing,HU Ming-Zeng,JIANG Yu,ZHAN Chun-Yan and ZHANG Shu-Feng 2003,14(1):110-116 [Abstract(8537)]  [View PDF(10005)675.66 K]