Contents

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

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

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

Automata and Grammars Theory Based on Quantum Logic QIU Dao-Wen 2003,14(1):23-27 [Abstract(4731)]  [View PDF(6245)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(5660)]  [View PDF(6546)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(5205)]  [View PDF(7764)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(4888)]  [View PDF(6232)553.10 K]

Improvement of a Distributed Termination Detection Algorithm LIU Xu-Min and SU Yun-Lin 2003,14(1):49-53 [Abstract(4995)]  [View PDF(5846)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(5026)]  [View PDF(6291)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(4810)]  [View PDF(7448)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(4757)]  [View PDF(7065)751.26 K]

Task-Based Access Control Model DENG Ji-Bo and HONG Fan 2003,14(1):76-82 [Abstract(10247)]  [View PDF(13883)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(4737)]  [View PDF(7916)659.49 K]

History Sensitivity of the Multilevel Security Policies SHI Wen-Chang and SUN Yu-Fang 2003,14(1):91-96 [Abstract(5206)]  [View PDF(6732)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(6023)]  [View PDF(6721)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(4826)]  [View PDF(7060)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(4338)]  [View PDF(6427)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(4385)]  [View PDF(6318)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(4241)]  [View PDF(7244)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(4433)]  [View PDF(5911)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(4828)]  [View PDF(6945)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(4352)]  [View PDF(6584)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(10138)]  [View PDF(12942)675.66 K]