Volume 14,Issue 3,2003 Table of Contents

Other Issues:  
  
Contents

  • Study on the Algebraic Semantics of Verilog
  • Li Yong-Jian,HE Ji-Feng and SUN Yong-Qing
  • 2003,14(3):317-327 [Abstract(2863)]  [View PDF(3030)863.16 K]
  • A Role Inverse Algorithm
  • BAI Shuo and ZHANG Hao
  • 2003,14(3):328-333 [Abstract(2506)]  [View PDF(2972)690.78 K]
  • A Quantum Search Algorithm
  • SUN Ji-Gui and HE Yu-Guo
  • 2003,14(3):334-344 [Abstract(2959)]  [View PDF(3975)888.19 K]
  • λ-Resolution of the Medium Predicate Logic System
  • PAN Zheng-Hua
  • 2003,14(3):345-349 [Abstract(2716)]  [View PDF(3035)517.83 K]
  • Constructing Virtual Domain Ontologies Based on Domain Knowledge Reuse
  • CHEN Gang,LU Ru-Qian and JIN Zhi
  • 2003,14(3):350-355 [Abstract(3643)]  [View PDF(4101)560.94 K]
  • An Overview Towards the Semantics of XYZ/E Object-Oriented Programs
  • GUO Liang and TANG Zhi-Song
  • 2003,14(3):356-361 [Abstract(2910)]  [View PDF(3352)565.87 K]
  • A Computation Partition Based on Uniform Partitioning Schemes for Parallel Loops
  • HUANG Qi-Jun,YANG Jian-Wu,YU Hua-Shan and XU Zhuo-Qun
  • 2003,14(3):362-368 [Abstract(2792)]  [View PDF(3131)649.68 K]
  • A Scheduling Protocol for Transactional Workflows Based on Mix-Grained Conflict Detection
  • DING Ke,WEI Jun and FENG Yu-Lin
  • 2003,14(3):369-375 [Abstract(2679)]  [View PDF(2864)813.00 K]
  • An Integrated Design Method of Task Priority
  • JIN Hong,WANG Hong-An,WANG Qiang and DAI Guo-Zhong
  • 2003,14(3):376-382 [Abstract(3399)]  [View PDF(3235)643.32 K]
  • An Agent-Oriented Programming Language with Intention Driver
  • GUO Lei,GE Ye-Ting,CHEN Shi-Fu and ZHANG Dong-Mo
  • 2003,14(3):383-391 [Abstract(3185)]  [View PDF(3012)715.71 K]
  • Research on Development Tools for Pen-Based User Interfaces
  • LI Yang,GUAN Zhi-Wei and DAI Guo-Zhong
  • 2003,14(3):392-400 [Abstract(2870)]  [View PDF(3087)664.60 K]
  • A Matching Model for Software Component Classified in Faceted Scheme
  • WANG Yuan-Feng,XUE Yun-Jiao,ZHANG Yong,ZHU San-Yuan and QIAN Le-Qiu
  • 2003,14(3):401-408 [Abstract(2727)]  [View PDF(2922)785.15 K]
  • An Event-Triggered Concurrent Dataflow Model
  • WANG Rui-Rong and WANG Le-Yu
  • 2003,14(3):409-414 [Abstract(2791)]  [View PDF(3205)575.88 K]
  • A Technology of Binding Time Analysis for Object-Oriented Programming Languages
  • LIAO Hu-Sheng,TONG Zhao-Feng and WANG Zhong
  • 2003,14(3):415-421 [Abstract(2677)]  [View PDF(2890)633.36 K]
  • A Concurrent BDI-Agent Model
  • WANG Yi-Chuan and SHI Chun-Yi
  • 2003,14(3):422-428 [Abstract(2690)]  [View PDF(2864)682.80 K]
  • A Fuzzy Classifier Based on the Constructive Covering Approach in Neural Networks
  • YE Shao-Zhen,ZHANG Bo,WU Ming-Rui and ZHENG Wen-Bo
  • 2003,14(3):429-434 [Abstract(2850)]  [View PDF(2944)570.61 K]
  • A Text Filtering System Based on Vector Space Model
  • HUANG Xuan-Jing,XIA Ying-Ju and WU Li-De
  • 2003,14(3):435-442 [Abstract(2905)]  [View PDF(4311)709.21 K]
  • Experimental Study on the Parallel Evolutionary Modeling of System of Ordinary Differential Equations
  • CAO Hong-Qing,KANG Li-Shan,CHEN Yu-Ping and HU Qing-Feng
  • 2003,14(3):443-450 [Abstract(2502)]  [View PDF(3072)715.60 K]
  • A Progressive Transductive Inference Algorithm Based on Support Vector Machine
  • CHEN Yi-Song,WANG Guo-Ping and DONG Shi-Hai
  • 2003,14(3):451-460 [Abstract(3604)]  [View PDF(3708)825.70 K]
  • A Dynamic Viseme Model and Parameter Estimation
  • WANG Zhi-Ming and CAI Lian-Hong
  • 2003,14(3):461-466 [Abstract(2484)]  [View PDF(2949)585.29 K]
  • A Sinusoidal Modeling Method Based on Matching-Pursuits with Perceptual Gradient
  • ZHANG Wen-Yao,XU Gang and WANG Yu-Guo
  • 2003,14(3):467-472 [Abstract(2426)]  [View PDF(2908)585.52 K]
  • Agent Organization Commitment and Group Commitment
  • ZHANG Wei and SHI Chun-Yi
  • 2003,14(3):473-478 [Abstract(2704)]  [View PDF(3054)622.96 K]
  • Decision Varied from Entropy to Parametric Distribution
  • HE Jin-Song,ZHENG Hao-Ran and WANG Xu-Fa
  • 2003,14(3):479-483 [Abstract(2917)]  [View PDF(3231)557.83 K]
  • An Algorithm Based on Gabor Function for Fingerprint Enhancement and Its Application
  • YIN Yi-Long,ZHAN Xiao-Si,TAN Tai-Zhe and NING Xin-Bao
  • 2003,14(3):484-489 [Abstract(2695)]  [View PDF(2604)1012.51 K]
  • Handwritten Character Recognition Based on Parallel Feature Combination and Generalized K-L Expansion
  • YANG Jian,YANG Jing-Yu and GAO Jian-Zhen
  • 2003,14(3):490-495 [Abstract(2387)]  [View PDF(3261)604.17 K]
  • Multicast Protocol over Switch Ethernet
  • WANG Jun and WU Zhi-Mei
  • 2003,14(3):496-502 [Abstract(3070)]  [View PDF(3381)634.38 K]
  • Congestion Control Algorithm in Large-Delay Networks
  • REN Feng-Yuan,LIN Chuang,REN Yong and SHAN Xiu-Ming
  • 2003,14(3):503-511 [Abstract(3148)]  [View PDF(4196)837.10 K]
  • Security Evaluation for a Class of Block Ciphers Based on Chaotic Maps
  • ZHANG Wen-Tao,QING Si-Han and WU Wen-Ling
  • 2003,14(3):512-517 [Abstract(2744)]  [View PDF(2841)535.40 K]
  • Security Analysis and Improvement of TLS
  • SUN Lin-Hong,YE Ding-Feng,Lü Shu-Wang and FENG Deng-Guo
  • 2003,14(3):518-523 [Abstract(2554)]  [View PDF(2986)576.80 K]
  • Research and Implementation of Internet Routing Emulation System
  • CUI Yong,XU Ke and WU Jian-Ping
  • 2003,14(3):524-530 [Abstract(2524)]  [View PDF(3394)628.63 K]
  • A Multi-Level FIFS Queue Packet Scheduling Algorithm to Provide Delay Guarantee
  • YANG Ming-Chuan and QIAN Hua-Lin
  • 2003,14(3):531-537 [Abstract(2853)]  [View PDF(2874)676.97 K]
  • A Customizable Boot Protocol for Network Computing
  • ZHOU Yue-Zhi,ZHANG Yao-Xue and WANG Yong
  • 2003,14(3):538-546 [Abstract(2636)]  [View PDF(2856)801.15 K]
  • Design and Implementation of a Security Label Common Framework
  • LIANG Hong-Liang,SUN Yu-Fang,ZHAO Qing-Song,ZHANG Xiang-Feng and SUN Bo
  • 2003,14(3):547-552 [Abstract(2940)]  [View PDF(2872)615.69 K]
  • On-Demand Branching Multicast
  • JIN Zhi-Quan,XIANG Xiao-Jing and CHEN Pei-Pei
  • 2003,14(3):553-561 [Abstract(3078)]  [View PDF(2838)719.88 K]
  • Variable Structure Controller for ABR Flow Control
  • REN Feng-Yuan,LIN Chuang and WANG Fu-Bao
  • 2003,14(3):562-568 [Abstract(2823)]  [View PDF(2905)649.20 K]
  • Differential and Linear Cryptanalysis of AC Block Cipher
  • WU Wen-Ling,MA Heng-Tai and QING Si-Han
  • 2003,14(3):569-574 [Abstract(3292)]  [View PDF(2932)672.60 K]
  • A Wavelength Assignment Algorithm of Hypercube Communication on Optical RP(k) Networks
  • LIU Fang-Ai,LIU Zhi-Yong and QIAO Xiang-Zhen
  • 2003,14(3):575-581 [Abstract(2796)]  [View PDF(3018)684.87 K]
  • A Probability-Based QoS Unicast Routing Algorithm
  • CHEN Ping,DONG Tian-Lin,SHI Jian and ZHAO Miao
  • 2003,14(3):582-587 [Abstract(2323)]  [View PDF(2860)602.04 K]
  • A Confirmer Signature Scheme Based on DSA and RSA
  • WANG Shang-Ping,WANG Yu-Min and ZHANG Ya-Ling
  • 2003,14(3):588-593 [Abstract(3169)]  [View PDF(3737)536.09 K]
  • A Real-Time Anomaly Detection Model Based on Sampling Measurement in a High-Speed Network
  • CHENG Guang,GONG Jian and DING Wei
  • 2003,14(3):594-599 [Abstract(3329)]  [View PDF(3142)547.75 K]
  • An Internet Key Exchange Protocol and Its Security Analysis
  • FAN Hong
  • 2003,14(3):600-605 [Abstract(3192)]  [View PDF(3270)544.68 K]
  • Design and Implementation of Test Executor for Concurrent TTCN
  • ZHANG Wei-Xing and JIANG Fan
  • 2003,14(3):606-611 [Abstract(2832)]  [View PDF(3153)554.75 K]
  • Performance Analysis of the Binary Flow Control Algorithm
  • REN Feng-Yuan,LIN Chuang,REN Yong and SHAN Xiu-Ming
  • 2003,14(3):612-618 [Abstract(3074)]  [View PDF(3395)651.34 K]
  • Simulation of 3D Garment Based on Improved Spring-Mass Model
  • LIU Hui,CHEN Chun and SHI Bai-Le
  • 2003,14(3):619-627 [Abstract(3061)]  [View PDF(4233)1.08 M]
  • Automatic Simulation Vector Generation Using Interacting FSM Model
  • LI Tun,GUO Yang and LI Si-Kun
  • 2003,14(3):628-634 [Abstract(2513)]  [View PDF(3142)781.93 K]
  • Multiple Characters Motion Fusion with Virtual Scene
  • LUO Zhong-Xiang,ZHUANG Yue-Ting,PAN Yun-He and LI Yue-Mei
  • 2003,14(3):635-642 [Abstract(2699)]  [View PDF(3269)874.96 K]
  • Realistic 3D Human Facial Animation
  • ZHANG Qing-Shan and CHEN Guo-Liang
  • 2003,14(3):643-650 [Abstract(2926)]  [View PDF(3467)1.17 M]
  • A Controllable Fractal Generation Method Based on FBM Constraint Model
  • TAN Jian-Rong and CHEN Hong-Liang
  • 2003,14(3):651-659 [Abstract(2586)]  [View PDF(2853)1.37 M]
  • A Complex Surface Adaptive Segment and Development Algorithm Based on Its Quasi-Rulings
  • CHEN Dong-Ren and WANG Guo-Jin
  • 2003,14(3):660-665 [Abstract(2649)]  [View PDF(2725)651.27 K]
  • General Mandelbrot Sets from the Complex Mapping (z)-a+c(a≥2) and Its Symmetrical Period-Checking Algorithm
  • TAN Jian-Rong and CHENG Jin
  • 2003,14(3):666-674 [Abstract(3047)]  [View PDF(2849)787.46 K]
  • A Hierarchical Retrieval Method for MPEG Video
  • LIU Yang,XU Song-Tao and WU Zhi-Mei
  • 2003,14(3):675-681 [Abstract(2727)]  [View PDF(2741)1009.22 K]
  • A Linear Method for the PnP Problem
  • WU Fu-Chao and HU Zhan-Yi
  • 2003,14(3):682-688 [Abstract(2954)]  [View PDF(4157)602.72 K]
  • A Close-to-Optimal Image Restoration Technique Based on Regularization Method
  • ZENG San-You,KANG Li-Shan,DING Li-Xin and HUANG Yuan-Jiang
  • 2003,14(3):689-696 [Abstract(3047)]  [View PDF(3670)949.53 K]
  • An Extended Multi-Valued Exponential Bi-Directional Associative Memory Model and Its Application
  • ZHANG Dao-Qiang and CHEN Song-Can
  • 2003,14(3):697-702 [Abstract(2943)]  [View PDF(3065)1.18 M]
  • A Linear Approach for Determining Intrinsic Parameters and Pose of Cameras from Rectangles
  • WU Fu-Chao,WANG Guang-Hui and HU Zhan-Yi
  • 2003,14(3):703-712 [Abstract(2960)]  [View PDF(2992)684.06 K]