Computer Engineering and Applications 2005 Issue 30 Formal Analysis and Modification of an Authentication Protocol in Military Network

Formal Analysis and Modification of an Authentication Protocol in Military Network

..............page:122-124

Research on Routing Algorithm of Adjacent Clusters for Wireless Sensor Networks

..............page:125-129,152

The Research of Multi-zones Communication in SIF

..............page:130-133

Active Distributed Accounting Frame for Wireless Network

..............page:134-136

Study of AOS Multiplexer and Demultiplexer Based on FPGA and LVDS

..............page:137-139

The Design and Implement of Multi-Dispatchers Load Balance Cluster

..............page:140-142,200

Research of Sampling Measurement System for IP Network Traffic Based on Mask Matching

..............page:143-145,148

A Cryptosystem Based on Galois Fields Theory

..............page:146-148

Implementation Scheme of DIAMETER MobileIPv6 Application

..............page:149-152

An Information Hiding Method Based on Filling Random Sequences

..............page:153-154

Research on Heuristic Multi-constrained Routing Algorithms

..............page:155-157

Backoff Techniques for Chinese SCF Acquisition Based on Sub-class

..............page:158-161

An Ascertainment Method of Core Attribute Set Based on Fuzzy Conceptual Hierarchy

..............page:162-165

Analysis and Summarization for Soccer Video

..............page:166-168

Information Structure of OOAD and Implement of Database Mapping

..............page:169-170,214

Design and Implementation of Database Encryption Engine

..............page:171-174

A New Method to Select Eigenvectors from Documents Based on Rough Set Theory

..............page:175-177

The Development and Application of Java-based Logistics Information System

..............page:178-181

Study on OpenWFE Platform-based Workflow Management System

..............page:182-184,203

Simulation of Cotton Organs Based on NURBS

..............page:185-188

The Design and Application of High Speed Data Acquisition and Control Module Based on CAN BUS of C8051F040

..............page:215-217,220

Comprehensive Solution Oriented Online Dual System for Process Control Based on Linux

..............page:218-220

Financial Time Series Forecasting Based on SVR

..............page:221-224

A Collaborative Learning System Based on Learners' Individuality Using Multi-agent

..............page:225-228

Design of Warehouse Logistics System Platform Based on Middleware Technology

..............page:229-232

An Improvement Asymmetric Watermarking Scheme Based on Spread Spectrum

..............page:96-98

An Algorithm of Lane Detection Based on Discrete Cosine Transform

..............page:94-95,98

New Research of Image Compressing and Encoding

..............page:91-93

Research on a Static Disassembly Algorithm Based upon Control Flow

..............page:89-90,228

The Description of a Task-based Group Awareness Model with Formal Language

..............page:84-88

Heavy-Tailed Phenomena in Multi-agent-based Distributed Problem Solving

..............page:81-83

A Method for Encrypting Image with Chaos Series

..............page:77-80,83

A New Fail-stop Signature Scheme

..............page:120-121,232

Dynamic Queue Management Policy for Differentiated Services

..............page:118-119,174

Implementation of a Video Encoder Used to Transform MPEG2 to MPEG4

..............page:115-117

Design and Implementation of Cable Testing System Based on COM Component Technology

..............page:112-114

Constraint-based 3D Placement for Scene in Virtual Interior Decoration System

..............page:108-111

Human-Computer Interface Design Based on Knowledge of Cognitive Psychology

..............page:105-107,139

Research on the Application Software Development Framework Based on MVC Pattern

..............page:102-104,111

A Low Power Design of Constant Coefficient Multiplier

..............page:99-101

A Fast Multi-objective Genetic Algorithm Based on Quick Sort

..............page:46-48

Steganalysis Algorithm of LSB Steganography in Color BMP Images

..............page:43-45

A New Genetic Algorithm in Multi-objective Optimization Problem Solving

..............page:40-42

Integer Algorithm for the Generation of Implicit Surfaces

..............page:75-76

Evidence Measure and Additive in Theory of Evidence

..............page:72-74

Modular Process Neural Network Based on Multi-Basis-functions

..............page:69-71,74

Support Vector Machine in Curve Smoothing Reconstruction

..............page:66-68

A Reusable Threshold Shared Verification Signature Scheme

..............page:63-65,68

Design the Optimization of Public Transport Network Based on Ant Algorithm

..............page:189-191

Software Design of Data Processing of Fiber-Optic Fabry-Perot Strain Gauge Integrated with DSP

..............page:192-195

Research of Development Model of the Reconstructible ERP System Oriented Client Requirement

..............page:196-200

The Study on Application Systems Development Based on WAP

..............page:201-203

Running Management of Distributed Simulation Based on Workflow Technology

..............page:204-206,210

Electric Appliances Monitoring and Diagnosing System for Vehicle Body Based on CAN Bus Network

..............page:207-210

Network-based Context Aware Intelligent Control System

..............page:211-214

Quick Multi-objects Tracking Based on Adaptive Color Recognition

..............page:60-62,76

Rough Approximations Based on Molecular Lattices and Their Similar Closure Subsystems

..............page:57-59

Digital Watermarking in MPEG-4 Compressed Stream

..............page:55-56,59

Pre-excluding Algorithm of the 4-MV Motion Estimation in MPEG-4

..............page:52-54,195

Research on SoftMan Individual Model

..............page:49-51

Research and Implementation of Text Categorization System Based on Concept Tree

..............page:6-9,88

Vague Relation

..............page:10-12

Attrition Coefficient Estimate in Aggregated Force Simulation

..............page:13-15

Signal Denoising with BFGS Based lp Norm Sparse Decomposition Method

..............page:16-17

A Hybrid Multi-objective Genetic Algorithm and Its Applications to Job Shop Problems

..............page:1-5,133

Performance Comparison of Position Based Beaconless Routing Algorithm and DSR for Mobile Ad hoc Networks

..............page:18-20,48

Differential Analysis of SAFER++

..............page:21-23

Measuring the Class Cohesion Based on State-dependence

..............page:24-27,161

Current Research in Multi-Robot Systems

..............page:28-30,45

A New Variable Length Coding Method in H.264

..............page:38-39,51

An Improved Intrusion Detection Negative Selection Immune Algorithm

..............page:35-37

Reliable and Effective Algorithm for Prime Generation and Testing

..............page:31-34,37