1000-9825
2005 Issue 3
Generating SAT Instances from First-Order Formulas
HUANG Zhuo;ZHANG Jian
HUANG Zhuo;ZHANG Jian
..............page:327-335
..............page:336-345
A Tag Type for Certifying Compilation of Java Program
CHEN Hui;CHEN Yi-Yun;RU Xiang-Min
CHEN Hui;CHEN Yi-Yun;RU Xiang-Min
..............page:346-354
QRDChecker: A Model Checking Tool for QRDC
Pei Yu;XU Qi-Wen;LI Xuan-dong;ZHENG Guo-liang
Pei Yu;XU Qi-Wen;LI Xuan-dong;ZHENG Guo-liang
..............page:355-364
Convergence of a Mean Shift Algorithm
LI Xiang-Ru;WU Fu-Chao;HU Zhan-Yi
LI Xiang-Ru;WU Fu-Chao;HU Zhan-Yi
..............page:365-374
A Round-Robin Scheduling Algorithm by Iterating Between Slots for Input- Queued Switches
WU Jun;CHEN Qing;LUO Jun-Zhou
WU Jun;CHEN Qing;LUO Jun-Zhou
..............page:375-383
A Distributed Computing Model for Wu's Method
WU Yong-Wei;YANG Guang-Wen;YANG Hong;ZHENG Wei-min;LIN Dong-dai
WU Yong-Wei;YANG Guang-Wen;YANG Hong;ZHENG Wei-min;LIN Dong-dai
..............page:384-391
Approximated Computational Hardness and Local Search Approximated Algorithm Analysis for k-Median Problem
PAN Rui;ZHU Da-ming;Ma Shao-han;XIAO Jin-Jie
PAN Rui;ZHU Da-ming;Ma Shao-han;XIAO Jin-Jie
..............page:392-399
An Adaptively Secure Distributed Key Generation Scheme Against General Adversary without Erasure
HE Yun-Xiao;LI Bao;U Ke-Wei
HE Yun-Xiao;LI Bao;U Ke-Wei
..............page:453-461
Traffic Control in Linux-Based Routers
ZHANG Huan-Qiang;WU Zhi-Mei
ZHANG Huan-Qiang;WU Zhi-Mei
..............page:462-471
Cryptanalysis of a Member Deletion Scheme for Group Signature
HUANG Zhen-Jie;LIN Xuan-Zhi
HUANG Zhen-Jie;LIN Xuan-Zhi
..............page:472-476
A Method for Mobile Agent Data Protection
Tan Xiang;GU Yu-Qing;BAO Chong-Ming
Tan Xiang;GU Yu-Qing;BAO Chong-Ming
..............page:477-484
Schedule of Activity Instances in Workflow Management System
SUN Rui-Zhi;SHI Mei-Lin
SUN Rui-Zhi;SHI Mei-Lin
..............page:400-406
An Active Measurement Model for Software Process Control and Improvement
WANG Qing;LI Ming-Shu;LIU Xia
WANG Qing;LI Ming-Shu;LIU Xia
..............page:407-418
A Method for the Design of Petri Net Controller Enforcing General Linear Constraints
WANG Shou-Guang;YAN Gang-feng
WANG Shou-Guang;YAN Gang-feng
..............page:419-426
A Quantification Approach to Software Requirements Analysis and Its Fuzzy Analytic Hierarchy Process Mapping
XIONG Wei;Hisakazu SHINDO;Yoshimichi WATANABE
XIONG Wei;Hisakazu SHINDO;Yoshimichi WATANABE
..............page:427-433
Improving TCP Performance over MANET: A Survey
FENG Yan-jun;SUN Li-min;QIAN Hua-Lin;Song Cheng
FENG Yan-jun;SUN Li-min;QIAN Hua-Lin;Song Cheng
..............page:434-444
A Distributed Entropy-Based Long-Life QoS Routing Algorithm in Ad Hoc Network
SHEN Hui;SHI Bing-xin;ZOU LIng;SHI Jian;ZHOU Jian-Xin
SHEN Hui;SHI Bing-xin;ZOU LIng;SHI Jian;ZHOU Jian-Xin
..............page:445-452