Computer Science 2005 Issue 7 Flexibility of the Interval-valued Logics

Flexibility of the Interval-valued Logics
XUE Zhan-ao;HE Hua-Can

..............page:142-144,155

The Application Research of Queue Scheduler Algorithm in Network
YANG Yong-bin;TANG Liang-Gui

..............page:56-58,124

Grid Computing Based on Mobile Agent
CHEN Jia;WU Yue

..............page:59-60,68

Efficient Query Processing in Grid Data Retrieval System
WANG Yun-Ting;ZHAN Jiang;WANG Shan

..............page:61-64

The Application of Optimization Technique between Clauses in Semantic Caching Query Evaluation
HAO Xiao-Wei;LI Lei;ZHANG Tao

..............page:65-68

An Efficient Concurrent Checkpointing Algorithm for Distributed Cooperative Real-Time Transaction Processing
LI Guo-Hui;WANG Hong-ya;LIU Yun-Sheng

..............page:69-71,75

Research in Database Security Based on Oracle10g
XU Ling;WEN Jun-hao;LI Li-Xin

..............page:72-75

Security Policy for Covert Channel Problem of Real-Time Databases
LUO Qiong;ZHANG Li-Chen

..............page:76-77,82

Enhance the Security of Intrusion Detection System
ZHANG Jun;WANG Jian-Hua;Liu Yu-lin

..............page:93-94

Intrusion Detection Based on Immune Clustering
ZHONG Jiang;WU Kai-Gui;WU Zhong-fu;LI Ji;OU Ling

..............page:95-98

Application of Bayesian Correlation Arithmetic to Distributed Intrusion Detection System
SHU Jun-Hui;YANG Wu;LI Bo

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

Computational Complexity of Computer Viruses
ZUO Zhi-Hong;Shu Min;ZHOU Ming-tian

..............page:102-104

A Bock Cryptographic Algorithm Based on Hénon Map and Feistel
ZHANG Wei;WEI Peng-cheng;YANG Hua-qian

..............page:105-108

Population Heuristic Evolutionary Programming
DOU Quan-Sheng;ZHOU Chun-guang;XU Zhong-yu;PAN Guan-Yu

..............page:145-147,167

Evaluating Military Effect of Air Operational Plan Based on Network Theory
QIN Qian-Fu;CAO Cun-Gen;XU Guang

..............page:148-151

Selective Neural Network Ensemble with Bias
WANG Zheng-Qun;CHEN Shi-Fu;CHEN Zhao-Qian

..............page:152-155

An Algorithm with Polynomial Time Complexity for Verifying Secrecy Properties of Cryptographic Protocols
WU Li-Jun;SU Kai-le

..............page:109-112

The Study on Adaptive Query Processing Mechanism in DSMS
SONG Bao-Yan;WU Shan-shan;YU Ge

..............page:112-115

Automatic Composition of Web Service in Virtual Industry Alliance
LI Hui;SUI Qi;WANG Hai-Yang

..............page:116-118

A Multi-group Supporting Workflow Management System
REN Guo-zhen;WANG Xin-Jun

..............page:118-120

A Conditioned RBAC Model Based on Double-weighted Role of Workflow System
ZHANG Jian;SUN Ji-gui;LI Ni-ya;HU Cheng-quan

..............page:121-124

The Optimization Selection Algorithm of Coding Model Based on Object
ZHANG Jian;ZHENG Xin-Wei

..............page:125-127

A Fast Motion Estimation Algorithm for MPEG-4 Shape Coding
NI Wei;GUO Bao-long

..............page:128-130

MPEG-21 Digital Item Adaptation by Applying Perceived Motion Energy to H. 264/AVC Video
ZHAO Gang;YANG Zong-Kai;HE Jian-Hua

..............page:131-134,158

A RLM_Based Model for Video Multicast
ZHAO Xiao-Jie;FU Yun-Qing

..............page:135-136

A Survey of Framework Model of Open Agent Society
LI Qing-Hua;ZHANG Hong-Jun

..............page:137-141

The Simulation of Routing and Wave Length Distribution
GUO Ping;XU Chun;HOU Rui;CHEN Hai-zhu;YANG Guo-Zhou

..............page:38-40,136

A Study of Anycast Routing Algorithm of the Inaccurate Network Information
CAI Qian-hua;LI Ji-gui

..............page:44-46

Study on the Explicit Control Protocol
SONG Jun;CAO Jian-Qiu;YANG Lin

..............page:47-49

Performance and Multipath Combining Algorithm Analysis of a Maximal Ratio Combining System in Rayleigh Fading Channel
LIU Xiao-Ming;CHEN Zhu;OU Jing-Lan;HUANG Can-Hui

..............page:50-52

The Design and Implementation of Edge Streaming Proxy in Streaming Content Dilivery Network(CDN) Based on IPv6 Network
ZENG Jin;WANG Kang;DENG Yi-Gui;HU Hai-qing;LI Nan

..............page:53-55

A Network Traffic Forecast Model Based on Time Character
YE Xin-ming;WANG Bin

..............page:34-37

Apply Nearest Neighbor Algorithm to Traffic Time Series Prediction
HUANG Jian-Cong;WAN Hai;HAO Xiao-Wei;Li Lei

..............page:31-33,55

Research on the System and Additive Business of Active Network
ZHANG Huan-Jiong;XU Qian-Fang;ZHONG Yi-xin

..............page:29-30

A Survey of Analysis Strategies of Delay Bound
ZHENG Jin;JIA Wei-Jia

..............page:26-28,108

Group Growing Based Small-World Scale-Free Network Model
WU Ai;LIU Xin-Song;LIU Dan;ZUO Chao-Shu

..............page:23-25,49

Research on Network Mobility Support
CAI Yi-Bing;WANG Chun-Feng;SUN Li-ming;LI Zhong-cheng

..............page:20-22,179

Communication Model for Internet-Oriented 2. 5D Virtual Environments
LU Dong-ming;ZHONG Ming-Yu;YUAN Qing-Shu;HU Yi-Feng

..............page:17-19,37

Database Intrusion Containment and Recovery Techniques under Information Warfare
ZHONG Yong;QIN Xiao-Lin

..............page:78-82

The Method of Dynamic Load Balance Access to Web GIS Service
ZHANG Xi-ping;WANG Lin-Lin

..............page:83-84

Mobile Agent Route Protection Based on Merkle Trees
LIU Yi;JIANG Zheng-tao;WANG Yu-Min

..............page:85-86,89

Study of Intrusion Behavior Based on Honeynet
ZHENG Qiu-sheng;SHAO Qi-Feng;GUO Ji-feng;PEI Fei

..............page:87-89

Converting the Strand Spaces' Algebraic Flaws to Actual Attacks
SHENG Hai-Feng;HUANG He-yan;CHEN Zhao-xiong

..............page:90-92,98

A Web QoS Strategy in Web Cluster System
YANG Wu;LI Bo;LI Shuang-qing

..............page:41-43

A Survey on Data Replication Technologies in Data Grid
SUN Hai-yan;WANG Xiao-Dong;XIAO Nong;JIA Yan;ZHOU Bin;ZOU Peng

..............page:13-16

A View-port Dependent Method for Multi-Scale Spatial Data Retrieval
CHEN Luo;WU Qiu-yun;ING Ning

..............page:8-12

The Formal Semantics of OWL-S
JIANG Yun-Cheng;SHI Zhong-zhi

..............page:5-7,16

Research and Implementation of Distributed Transaction Interoperability in J2EE Platform
ZHANG Yong;HU Jian-jun;CHEN Ning-jiang

..............page:1-4,43

Aspect-Oriented Formal Development Method for Real-Time Systems
CHEN Guang-Ming;ZHANG Li-cheng;CHEN Sheng-qing

..............page:189-192,217

Optimization Technique for Shared Variables in Real-time System Model-Checking
ZHOU Xiu-Yi;ZHAO Jian-Hua;LI Xuan-dong;ZHENG Guo-liang

..............page:193-196,213

Monitoring Timing Constraints with Real-time Logic
LIU Rui-Cheng;ZHANG Li-Chen

..............page:197-205

Dynamic Analysis of Performance of Simultuneous Thread
CHENG Ke-fei;WANG Lin-Lin;ZHANG Cong;ZHANG Qin

..............page:206-208,221

A Formal Model for Dynamic Class Loading in the Java Virtual Machine
ZUO Tian-Jun;ZHU Zhi-Lin;HAN Jun-Gang;Chen Pin

..............page:209-213

A Method of Metadata Modeling to Construct Extensible and Flexible Systems
OU Jin-Liang;JIN Mao-zhong

..............page:214-217

Study on Multistage Chaotic Image Encryption Algorithm
WEI Peng-cheng;ZHANG Wei;YANG Hua-qian

..............page:172-175,244

The Improvement of EZW Coding Based on Multi-Wavelet Transform
DONG Wei-jun;ZHOU Ming-quan;GENG Guo-hua

..............page:176-179

Image Denoising Using Prethresholding Wiener Filtering
LU Rui-Hua;YANG Ming

..............page:180-182

Wavelet Multi-scale Fuzzy Competitive Edge Detection
SHANG Jin;SHI Cheng-Xiang

..............page:182-184,241

Application of Live Fingerprint Identity Identification in Bank Saving System
LIU Da-ming

..............page:185-186,205

A New Method for Fitting Planar Data Points with Quadratic Parametric Curve
GUO Feng-hua;YANG Xing-qiang

..............page:187-188

A Markov Based Adaptation Model Used in Software Usability Monitoring
LAI Xiang-Wei;YANG Juan;QIU Yu-Hui;ZHANG Wei-Qun

..............page:218-221

A Balanced Workload Mathematical Model in Heterogeneous Real-time Systems
YANG Juan;BAI Yun;QIU Yu-Hui

..............page:222-223,227

JSF:A New Generation of Web Application Framework
ZHU Qing-sheng;GE Liang

..............page:224-227

Study of Implementation about Parameterized Algorithm
ZHANG Zu-ping;ZHOU Miao-Miao;CHEN Jian-er

..............page:228-230

Compositional Verification of Concurrent Objects in UML Models
DONG Wei;WANG Ji;QI Zhi-Chang

..............page:231-233,封四

Design and Implementation of Linux File System Supporting Multilingualism
RUI Jian-Wu;XIE Qian;WU Jian;SUN Yu-Fang

..............page:234-236,248

Variability Control of High-cohesion Domain Component Based on Feature
WANG Ying-hui;ZHANG Shi-kun;WANG Li-fu

..............page:237-241

Analysis and Improvement of If-conversion Algorithm Based on GCC
TIAN Zu-Wei;ZHAO Ke-Jia

..............page:242-244

An Internet Personalized CSCW Learning-Model Based on Construction Theory
YU Jing;GAN Ren-chu

..............page:245-248

ji suan ji ke xue tou gao xu zhi

..............page:141

A Traditional Chinese Poetry Style Identification Calculation Improvement Model
Yi Yong;HE Zhong-Shi;LI Liang-Yan;ZHOU Jian-yong;QU Yi-Bo

..............page:156-158

Research and Implementation of Text Filter and Categorization System for Content Security
WAN Guo-Gen;QIN Zhi-guang

..............page:159-161

Face Feature Extraction Based on Overcomplete ICA Feature Extraction
JIANG Yu-Wen;ZHU Si-Ming

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

Multi-Focus Image Fusion Based on Second Imaging and Difference of Clarity
MIAO Qi-Guang;WANG Bao-shu

..............page:165-167

Multi-scale Images Edge Detection Method Based on Gap Operatorof Weighted Neighborhood
HUANG Chen-rong;ZHANG Zheng-jun;WU Hui-zhong

..............page:168-171,188