Contents

Study on the Algebraic Semantics of Verilog Li Yong-Jian,HE Ji-Feng and SUN Yong-Qing 2003,14(3):317-327 [Abstract(4750)]  [View PDF(6557)863.16 K]

A Role Inverse Algorithm BAI Shuo and ZHANG Hao 2003,14(3):328-333 [Abstract(4280)]  [View PDF(6183)690.78 K]

A Quantum Search Algorithm SUN Ji-Gui and HE Yu-Guo 2003,14(3):334-344 [Abstract(4979)]  [View PDF(8196)888.19 K]

λ-Resolution of the Medium Predicate Logic System PAN Zheng-Hua 2003,14(3):345-349 [Abstract(4527)]  [View PDF(6130)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(5752)]  [View PDF(7863)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(4796)]  [View PDF(6999)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(4681)]  [View PDF(6536)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(4656)]  [View PDF(6188)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(5469)]  [View PDF(7135)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(5311)]  [View PDF(6374)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(4883)]  [View PDF(6707)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(4682)]  [View PDF(6943)785.15 K]

An Event-Triggered Concurrent Dataflow Model WANG Rui-Rong and WANG Le-Yu 2003,14(3):409-414 [Abstract(4578)]  [View PDF(6507)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(4674)]  [View PDF(6372)633.36 K]

A Concurrent BDI-Agent Model WANG Yi-Chuan and SHI Chun-Yi 2003,14(3):422-428 [Abstract(4403)]  [View PDF(6009)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(5016)]  [View PDF(6036)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(4966)]  [View PDF(7863)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(4402)]  [View PDF(6288)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(5931)]  [View PDF(7545)825.70 K]

A Dynamic Viseme Model and Parameter Estimation WANG Zhi-Ming and CAI Lian-Hong 2003,14(3):461-466 [Abstract(4227)]  [View PDF(6132)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(4479)]  [View PDF(5995)585.52 K]

Agent Organization Commitment and Group Commitment ZHANG Wei and SHI Chun-Yi 2003,14(3):473-478 [Abstract(4661)]  [View PDF(6132)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(4801)]  [View PDF(6484)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(4600)]  [View PDF(6141)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(4341)]  [View PDF(6975)604.17 K]

Multicast Protocol over Switch Ethernet WANG Jun and WU Zhi-Mei 2003,14(3):496-502 [Abstract(4986)]  [View PDF(7105)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(5311)]  [View PDF(7959)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(4586)]  [View PDF(5932)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(4660)]  [View PDF(6748)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(4476)]  [View PDF(6593)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(4715)]  [View PDF(6125)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(4368)]  [View PDF(6434)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(5114)]  [View PDF(6420)615.69 K]

On-Demand Branching Multicast JIN Zhi-Quan,XIANG Xiao-Jing and CHEN Pei-Pei 2003,14(3):553-561 [Abstract(4855)]  [View PDF(6103)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(4754)]  [View PDF(6258)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(5206)]  [View PDF(6109)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(4896)]  [View PDF(6377)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(4161)]  [View PDF(6024)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(5208)]  [View PDF(7216)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(5725)]  [View PDF(6771)547.75 K]

An Internet Key Exchange Protocol and Its Security Analysis FAN Hong 2003,14(3):600-605 [Abstract(4954)]  [View PDF(6679)544.68 K]

Design and Implementation of Test Executor for Concurrent TTCN ZHANG Wei-Xing and JIANG Fan 2003,14(3):606-611 [Abstract(4798)]  [View PDF(6214)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(5039)]  [View PDF(6789)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(5269)]  [View PDF(8267)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(4391)]  [View PDF(6655)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(4652)]  [View PDF(6488)874.96 K]

Realistic 3D Human Facial Animation ZHANG Qing-Shan and CHEN Guo-Liang 2003,14(3):643-650 [Abstract(5269)]  [View PDF(7499)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(4580)]  [View PDF(6350)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(4544)]  [View PDF(6249)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(5006)]  [View PDF(6060)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(4657)]  [View PDF(6231)1009.22 K]

A Linear Method for the PnP Problem WU Fu-Chao and HU Zhan-Yi 2003,14(3):682-688 [Abstract(5222)]  [View PDF(8713)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(4979)]  [View PDF(7085)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(4896)]  [View PDF(6903)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(5149)]  [View PDF(6373)684.06 K]