We use cookies to improve your experience with our site.

A Graphical u-Calculus and Local Model Checking
LIN Huimin
2002, 17(6)
Abstract
Multiparty Authentication Services and Key Agreement Protocols with Semi-Trusted Third Party
ZHENG Dong, CHEN Kefei, YOU Jinyuan
2002, 17(6)
Abstract
Optimistic Voting for Managing Replicated Data
LIN Huaizhong, CHEN Chun
2002, 17(6)
Abstract
Automatic Mesh Generation on a Regular Background Grid
LO S. H., LIU Jianfei
2002, 17(6)
Abstract
Coordinating Mobile Agents by the XML-Based Tuple Space
LU Zhengding, LI Chunlin, LI Layuan
2002, 17(6)
Abstract
CALA: A Web Analysis Algorithm Combined with Content Correlation Analysis Method
ZHANG Ling, MA Fanyuan, YE Yunming, CHEN Jianguo
2002, 17(6)
Abstract
Internet Network Resource Information Model
CHEN Chuanfeng, LI Zengzhi, TANG Yazhe, LIU Kangping
2002, 17(6)
Abstract
Combining Trigram and Automatic Weight Distribution in Chinese Spelling Error Correction
LI Jianhua, WANG Xiaolong
2002, 17(6)
Abstract
Structure of Weakly Invertible Semi-Input-Memory Finite Automata with Delay 2
TAO Renji, CHEN Shihua
2002, 17(6)
Abstract
Spontaneous Speech Parsing in Travel Information Inquiring and Booking Systems
YAN Pengju, ZHENG Fang, SUN Hui, XU Mingxing
2002, 17(6)
Abstract
Semantic Computation in a Chinese Question-Answering System
LI Sujian, ZHANG Jian, HUANG Xiong, BAI Shuo, LIU Qun
2002, 17(6)
Abstract
Checking Temporal Duration Properties of Timed Automata
LI Yong, Dang Van Hung
2002, 17(6)
Abstract
An Optimum Placement Search Algorithm Based on Extended Corner Block List
DONG Sheqin, ZHOU Shuo, HONG Xianlong
2002, 17(6)
Abstract
Automatic Generation of Interprocedural Data-Flow Analyzers and Optimizers
LIAN Ruiqi, ZHANG Zhaoqing, QIAO Ruliang
2002, 17(6)
Abstract
An Image Retrieval Method Using DCT Features
FAN Yun, WANG Runsheng
2002, 17(6)
Abstract
Behavior Relativity of Petri Nets
JIANG Changjun, WANG Huaiqing, LIAO Shaoyi
2002, 17(6)
Abstract
Semi-Online Scheduling with Machine Cost
HE Yong, CAI Shengyi
2002, 17(6)
Abstract
Distributing and Scheduling Divisible Task on Parallel Communicating Processors
LI Guodong, ZHANG Defu
2002, 17(6)
Abstract
Variables Bounding Based Retiming Algorithm
LU Zongwei, LIN Zhenghui, CHEN Houpeng
2002, 17(6)
Abstract
Clustering DTDs: An Interactive Two-Level Approach
ZHOU Aoying, QIAN Weining, QIAN Hailei
2002, 17(6)
Abstract
Efficient Non-Repudiation Multicast Source Authentication Schemes
LI Xianxian, HUAI Jinpeng
2002, 17(6)
Abstract
Fair Electronic Cash Based on Double Signatures
CHEN Xiaofeng, WANG Changjie, WANG Yumin
2002, 17(6)
Abstract
Selection of Secure Hyperelliptic Curves of g = 2 Based on a Subfield
ZHANG Fangguo, ZHANG Futai, WANG Yumin
2002, 17(6)
Abstract
Aqueous Computing: A Survey with an Invitation to Participate
Tom Head, Xia Chen, Masayuki Yamamura, Susannah Gal
2002, 17(6)
Abstract
A Tracing Algorithm for Surface-Surface Intersections on Surface Boundaries
Kyu-Yeul Lee, Doo-Yeoun Cho, Tae-Wan Kim
2002, 17(6)
Abstract
Physics-Based Loop Surface Modeling
QIN Kaihuai, CHANG Zhengyi, WANG Huawei, LI Denggao
2002, 17(6)
Abstract
Head Tracking Using Shapes and Adaptive Color Histograms
LIU Qingshan, MA Songde, LU Hanqing
2002, 17(6)
Abstract
BIST Design for Detecting Multiple Stuck-Open Faults in CMOS Circuits Using Transition Count
Hafizur Rahaman, Debesh K. Das, Bhargab B. Bhattacharya
2002, 17(6)
Abstract
SPMH: A Solution to the Problem of Malicious Hosts
ZHOU Chong, SUN Yongqiang
2002, 17(6)
Abstract
A Model-Based Approach to Object-Oriented Software Metrics
MEI Hong, XIE Tao, YANG Fuqing
2002, 17(6)
Abstract
Lower Bound Estimation of Hardware Resources for Scheduling in High-Level Synthesis
Shen Zhaoxuan, Jong Ching Chuen
2002, 17(6)
Abstract