Volume 14,Issue 1,2003 Table of Contents

Other Issues:  
  
Contents

  • Diagnostic Information Generation in Model Checking Value-Passing Processes
  • LIU Jian and LIN Hui-Min
  • 2003,14(1):1-8 [Abstract(2872)]  [View PDF(2849)1.05 M]
  • Characterizations of Quantum Automata
  • QIU Dao-Wen
  • 2003,14(1):9-15 [Abstract(2573)]  [View PDF(2698)664.00 K]
  • Translating γ-Calculus into Action Calculus
  • JIN Ying and JIN Cheng-Zhi
  • 2003,14(1):16-22 [Abstract(2743)]  [View PDF(2666)646.85 K]
  • Automata and Grammars Theory Based on Quantum Logic
  • QIU Dao-Wen
  • 2003,14(1):23-27 [Abstract(3069)]  [View PDF(3058)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(3657)]  [View PDF(3225)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(2770)]  [View PDF(4330)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(3029)]  [View PDF(2810)553.10 K]
  • Improvement of a Distributed Termination Detection Algorithm
  • LIU Xu-Min and SU Yun-Lin
  • 2003,14(1):49-53 [Abstract(3266)]  [View PDF(2763)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(3142)]  [View PDF(2813)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(3170)]  [View PDF(3928)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(2950)]  [View PDF(3291)751.26 K]
  • Task-Based Access Control Model
  • DENG Ji-Bo and HONG Fan
  • 2003,14(1):76-82 [Abstract(6248)]  [View PDF(8376)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(2786)]  [View PDF(3787)659.49 K]
  • History Sensitivity of the Multilevel Security Policies
  • SHI Wen-Chang and SUN Yu-Fang
  • 2003,14(1):91-96 [Abstract(3290)]  [View PDF(3292)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(3996)]  [View PDF(3166)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(3070)]  [View PDF(3513)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(2449)]  [View PDF(2938)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(2727)]  [View PDF(3027)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(2518)]  [View PDF(3637)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(2721)]  [View PDF(2805)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(2906)]  [View PDF(3385)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(2660)]  [View PDF(3000)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(6367)]  [View PDF(6627)675.66 K]