Journal of Computer Research and Development 2004 Issue 7 A Survey of Security Protocol Verification Based on Process Algebra

A Survey of Security Protocol Verification Based on Process Algebra
li meng jun ; li zhou jun ; chen huo wang

..............page:1097-1103

Design and Implementation of a Semantic Web Rule Markup Language OWLRule+
liang zuo ; fu hong yu ; li ming shu

..............page:1088-1096

A Fast Multi-Objective Genetic Algorithm Based on Clustering
zheng jin hua ; shi zhong zhi ; xie yong

..............page:1081-1087

Research on Several Key Problems in Face Recognition
liu xiang dong ; chen zhao qian

..............page:1074-1080

An Improved Method of δ-Rule in Free Variable Semantic Tableau
liu quan ; sun ji gui ; yu wan jun

..............page:1068-1073

TRDM-Temporal Role-Based Delegation Model
sun bo ; zhao qing song ; sun yu fang

..............page:1104-1109

An Attack Knowledge Model Based on Object-Oriented Technology
zhu ge jian wei ; xu hui ; pan ai min

..............page:1110-1116

An Address Tuple Marking Scheme to Recover DoS Ingresses
jin guang ; zhao jie zuo ; zhao yi ming ; wang xiao hong

..............page:1117-1123

A Dynamic Service Composition Method Based on Semantic Interface Description in Pervasive Computing
li jing shan ; liao hua ming ; hou zi feng ; xu zhi wei

..............page:1124-1134

An Optimal Layer Rate Dynamic Allocation Algorithm Based on Utility in Layered Multicast
tao jun ; dong yong qiang ; ma xiao jun

..............page:1135-1143

Multicast QoS Routing Optimization Based on Multiobjective Genetic Algorithm
cui xun xue ; lin chuang

..............page:1144-1150

A Pricing Algorithm for Market-Based Resource Management on Grid Computing Systems
weng chu liang ; lu zuo da

..............page:1151-1156

Research on a Model for Dynamic Computing Resources Deployment Based on Mobile Agents
li zuo lin ; wang min yi ; yao zuo ; zhou ming tian

..............page:1157-1165

Research on Node Space Probabilistic Distribution According to Random Direction Mobility Model in Ad Hoc Network
shi rui ; yang xiao zong

..............page:1166-1173

Development of a New Method for Extracting Surface with Open Form from Volumetric Images
wang jia hui ; qi teng ying xiong ; xiao ze shen zhi ; sang yuan zhi yu ; shan xia feng xin ; gao qiao yuan ci

..............page:1174-1181

Image Retrieval Based on Fractal Dimensions
liu jing ; zhong wei cai ; liu fang ; jiao li cheng

..............page:1182-1187

Application of Truncated Total Least Squares in Ultrasound Inverse Scattering Imaging
liu chao ; liu feng rong ; wang yuan mei

..............page:1188-1193

A New Robust Point Registration Algorithm by Maximization of Entropy and Mutual Information
zhang er hu ; bian zheng zhong

..............page:1194-1199

A Data Parallel Algorithm on Geometric Correction of Remote-Sensing Satellite Images
zhang fa cun ; wang zhong ; zhao xiao hong ; shen xu bang

..............page:1200-1206

Reconstruction of Quadric Surface Solids from Engineering Drawings
zhang ai jun ; xue yong

..............page:1207-1212

A Modified Cuberille Method with Linear Precision
yang xing qiang ; zhang cai ming

..............page:1213-1219

An Approximate Scheme Based on IMEX for Cloth Simulation
nie hui ; long chao zuo

..............page:1220-1225

Logo Location in Low-Quality Document Image
yan ji kun ; xi jian min ; zhou mi ; zheng hui

..............page:1226-1231

Concurrent Locking Protocols for XML
pang yin ming ; tan zi jing ; wang wei

..............page:1232-1239

Cache Coherence Management Based on Data Trend Analysis in HA-DMDB System
shi sheng fei ; li jian zhong ; wang chao kun ; li jin bao

..............page:1240-1245

Dynamic Adjusting the Time Window of Invalidation Reports in Mobile Database
shao xiong kai ; lu yan sheng ; cheng xue xian

..............page:1246-1250

Principle of Converting RDF Query Language to SQL and Its Implementation
lei yun fei ; huang liu sheng ; chen guo liang

..............page:1251-1257

Application and Analysis of String-Similarity-Based Machine Translation Evaluation
yao jian min ; zhou ming ; zhao tie jun ; li sheng

..............page:1258-1265

Overall Design of an Intelligent Computer-Aided Translation Platform Based on Hybrid Strategy
huang he yan ; chen zhao xiong

..............page:1266-1272

A News Event Detection and Tracking Algorithm Based on Dynamic Evolution Model
jia zi yan ; he qing ; zhang hai jun ; li jia you ; shi zhong zhi

..............page:1273-1280

A Parallel Algorithm for Near Tridiagonal Toeplitz Equations on Distributed-Memory Multicomputers
dan run hong ; gao feng ; song jun qiang ; li xiao mei

..............page:1281-1285

Solutions of Multi-Objective Optimization Problems Based on Particle Swarm Optimization
zhang li biao ; zhou chun guang ; ma ming ; liu xiao hua

..............page:1286-1291

An Adaptive Algorithm for the Knapsack Problem
li ken li ; li qing hua ; dai guang ming ; zhou yan tao

..............page:1292-1297

An Effective Loop Scheduling Algorithm for OpenMP on Cluster Systems
wu shao gang ; zhang long bing ; cai fei ; hu wei wu

..............page:1298-1305

Design and Realization of Safety Critical Real Time Operating System Based on Temporal Isolation Safeguard Mechanisms
yang shi ping ; sang zuo ; chen hui ; xiong guang ze

..............page:1306-1314

A Software Reliability Model Based on Failure Cost Partition for Wearable Computers
liu hong wei ; yang xiao zong ; wen dong xin ; qu feng

..............page:1315-1319

A Knowledge Increasable Method for Artificial Neural Network
huang hua ; luo si wei ; li ai jun ; liu yun hui

..............page:1062-1067

A Fuzzy Neural Network System Based on the Class Cover and the Particle Swarm Optimization
huang yan xin ; zhou chun guang ; zou shu xue ; wang yan

..............page:1053-1061

Overview of Researches on Ontology
li shan ping ; yin qi ( wei hua ); hu yu jie ; guo ming ; fu xiang jun

..............page:1041-1052