1000-9825
2000 Issue 8
..............page:1034
Partial Key Escrow Monitoring Scheme
JIANG Shao-quan;ZHANG Yu-feng
JIANG Shao-quan;ZHANG Yu-feng
..............page:1133-1137
Real-Time Lip Locating Method for Lip-Movement Recognition
YAO Hong-xun;GAO Wen;LI Jing-mei;Lü Ya-juan;WANG Rui
YAO Hong-xun;GAO Wen;LI Jing-mei;Lü Ya-juan;WANG Rui
..............page:1126-1132
Research and Improvement of the Interpreter of BDI Agent
LU Jun;WANG Ya-dong;WANG Xiao-long
LU Jun;WANG Ya-dong;WANG Xiao-long
..............page:1118-1125
Binary Tree Drawing Algorithm Based on Genetic Algorithms
HUANG Jing-wei;KANG Li-shan;CHEN Yu-ping
HUANG Jing-wei;KANG Li-shan;CHEN Yu-ping
..............page:1112-1117
From Object-Oriented Z Specification to Code by Refinement Calculus
WANG Yun-feng;PANG Jun;ZHA Ming;YANG Zhao-hui;ZHENG Guo-liang
WANG Yun-feng;PANG Jun;ZHA Ming;YANG Zhao-hui;ZHENG Guo-liang
..............page:1041-1046
Validation Test of Distributed Program Based on Event Sequencing Con straints
GU Qing;CHEN Dao-xu;YU Meng;XIE Li;SUN Zhong-xiu
GU Qing;CHEN Dao-xu;YU Meng;XIE Li;SUN Zhong-xiu
..............page:1035-1040
Generating Sentences of CFL Based on Partition of CFG Production Set
WANG Hong-hao;DONG Yun-mei
WANG Hong-hao;DONG Yun-mei
..............page:1030-1034
Visual Architecture Description Language XYZ/ADL
LUO Hua-jun;TANG Zhi-song;ZHENG Jian-dan
LUO Hua-jun;TANG Zhi-song;ZHENG Jian-dan
..............page:1024-1029
Research on Componentware Framework Based on Mobile Agent Technology
Lü Jian;ZHANG Ming;LIAO Yu;TAO Xian-ping
Lü Jian;ZHANG Ming;LIAO Yu;TAO Xian-ping
..............page:1018-1023
Ontology-Oriented Requirements Analysis
LU Ru-qian;JIN Zhi;CHEN Gang
LU Ru-qian;JIN Zhi;CHEN Gang
..............page:1009-1017
Optimization of Function Evaluation in Formal Specification Language
ZHANG Rong-hua;DONG Yun-mei
ZHANG Rong-hua;DONG Yun-mei
..............page:1003-1008
A Methodology for Automatically Constructing a Multimedia Synchronizer in XYZ/RE
ZHAO Chen;TANG Zhi-song;MA Hua-dong
ZHAO Chen;TANG Zhi-song;MA Hua-dong
..............page:996-1002
..............page:995
Mapping Integrated Service to Differentiated Service on the Internet
GUO Guo-qiang;ZHANG Yao-xue
GUO Guo-qiang;ZHANG Yao-xue
..............page:1105-1111
A Static Scheduling Algorithm on DAG Partition-Reconfiguration in the Network of Workstations
ZHOU Jia-xiang;ZHENG Wei-min
ZHOU Jia-xiang;ZHENG Wei-min
..............page:1097-1104
Super-Linearly Convergent BP Learning Algorithm for Feedforward Neural Networks
LIANG Jiu-zhen;HE Xin-gui;HUANG De-shuang
LIANG Jiu-zhen;HE Xin-gui;HUANG De-shuang
..............page:1094-1096
Parallel Volume Rendering on a Virtual Machine
DENG Jun-hui;TANG Ze-sheng
DENG Jun-hui;TANG Ze-sheng
..............page:1087-1093
Software Architecture Specification Based on a Framework and Role Type
FENG Tie;ZHANG Jia-chen;CHEN Wei;JIN Chun-zhao
FENG Tie;ZHANG Jia-chen;CHEN Wei;JIN Chun-zhao
..............page:1078-1086
On Refinement Calculus with Program Window Inference
WANG Yun-feng;LI Bi-xin;PANG Jun;ZHA Ming;ZHENG Guo-liang
WANG Yun-feng;LI Bi-xin;PANG Jun;ZHA Ming;ZHENG Guo-liang
..............page:1071-1077
Program Development and Verification Based on Rewriting Techniques
SUN Yong-qiang;LU Chao-jun;SHAO Zhi-qing
SUN Yong-qiang;LU Chao-jun;SHAO Zhi-qing
..............page:1066-1070
Communication Mechanism in Mogent System
TAO Xian-ping;FENG Xin-yu;LI Xin;ZHANG Guan-qun;Lü Jian
TAO Xian-ping;FENG Xin-yu;LI Xin;ZHANG Guan-qun;Lü Jian
..............page:1060-1065
A Test System Framework for Distributed Programming
GU Qing;CHEN Dao-xu;HAN Jie;XIE Li;SUN Zhong-xiu
GU Qing;CHEN Dao-xu;HAN Jie;XIE Li;SUN Zhong-xiu
..............page:1053-1059
Active-Connector-Based Software Architecture and Its Description Method
ZHANG Jia-chen;FENG Tie;CHEN Wei;JIN Chun-zhao
ZHANG Jia-chen;FENG Tie;CHEN Wei;JIN Chun-zhao
..............page:1047-1052