Computer Science 2005 Issue 8 Specified Model of Embedded System Design Based on SystemC

Specified Model of Embedded System Design Based on SystemC
LUAN Jing;GU Jun-zhong

..............page:209-212

RTCS: A Method of Real-Time Component Specification with Precise Semantics
XU Li-Ping;JIA Hong-wei;LU Yan-Sheng

..............page:205-208

Expanded Algorithms of Parallel Context-free Recognition and Parsing on a PRAM Model
SUN Yu-Qiang;ZHOU Lei;LIU San-Yang;WANG Hong-Yuan;Zhang Ying-li

..............page:203-204,208

An eXtreme Programming Based Laboratory Project Software Methodology--LabXP
SHAO Fei;GE Ji-Dong;HU Hao;BAO Qin-Di;LU Jian

..............page:199-202

A Search Way Based on Internet Fingerprint Large Database
WU Ai-Yan;WEI Shi-Ze

..............page:196-199

A New Method of License Plate Characters Classified Recognition Based on BP Neural Networks
YANG Fan;ZHAO Jian-ming;ZHU Xin-Zhong

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

Fuzzy Image Segmentation Based on Maximum Tree Method
YANG Meng-Ning;YANG Dan;ZHANG Qiang-Jing

..............page:190-191

An Improved Quotient Image Method Based on Image Subspace
LIU Jun;HUANG Xiang-Sheng;WANG Yang-Sheng

..............page:186-189

How to Get the Main Part of Web Pages
HU Fei

..............page:182-185

Uncertain Temporal Information Representation and the Extensions of Temporal Operation
LIN Jia-yi;PENG Hong;XIE Jia-meng;ZHENG Qi-Lun

..............page:161-163

Research on Association Rules Mining Algorithm Based Lattice Theory
JIANG Zhen;GE Yao;HUANG Jian;WEN Jun-hao

..............page:158-160

Information Feature Extraction Based on Immune Aglorithm
WANG Ping;Chen Guo-long

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

Virtual Robot in Network Environment--"SoftMan" System Platform Design
WANG Hong-Bo;BAN Xiao-Juan;ZENG Guang-ping;YIN Yi-xin;TU Xu-yan

..............page:152-154

Research for Modeling of the Component-Based Software Engineering for Real-Time Embedded Software
XIA Yuan;ZHANG Wei-Qun

..............page:213-215,封四

Design and Implement of Linux Kernel Supporting Quality of Service
SHI Xiao-An;ZHOU Xing-she;LIN Yi

..............page:216-218

Knowledge Discovery of Image Based on Hilbert Space Theory
YOU Fu-Cheng;YANG Bing-ru

..............page:149-151

Implementing Hand-off of the Streaming Media Service with Grid Technology
ZHOU Jun;LI Wen-Zhong;LU Sang-Lu;CHEN Dao-Xu

..............page:109-113,137

Research on Virtual Logistics Enterprise Partner Selection Method of Grid-Based Clustering Algorithm
SHEN Li-xin;CHEN Yan;CUI Chun-Lei;WANG Jun;LI Jiu-hui

..............page:114-117

A Predicting Algorithm of Macroblock Coding Mode Based on Spatio-Temporal Correlation for H.264
Zhou Jing-li;XIANG Dong;YU Sheng-Sheng;Chen Jia-zhong

..............page:118-120,127

Rule Extraction in Combining Description Logics with DL-safe Rules
ZHAGN Kuo;LI Juan-zi;TANG Jie;WANG Ke-hong

..............page:121-123

Information Retrieval Based on Statistical Language Model
LI Xiao-Guang;WANG Da-Ling;YU Ge

..............page:124-127

Fuzzy Reward and Policy Learning in Multi-Agent Systems
ZHANG Hua-xiang;HUANG Shang-Teng

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

The e-Learning System Model Based on Affective Computing
MA Xi-rong;LIU Lin;Sang Jing

..............page:131-133

Swarm-Core Evolutionary Particle Swarm Optimization
DOU Quan-Sheng;ZHOU Chun-guang;MA Ming;LIU Qian

..............page:134-137

The Application of Speech Grammar in VoiceXML
LI Yong-tao;WANG Lin-Lin

..............page:106-108

A New ε-insensitivity Function Support Vector Inductive Regression Algorithm and After-sales Service Data Model Forecast System
LUO Ze-Ju;ZHU Si-Ming

..............page:138-141,154

Noise Reduction to DCSK Communications System Using WLS-SVM
LI Xiao-Dong;HE Song-Bai;LI Chun-guang;Yu Jue-bang

..............page:142-144

Analysis of a Paradox in Dempster-Shafer Theory
XIONG Wei;JU Shi -Er;LUO Xu-dong

..............page:145-146,169

The Design and Realization of Auditing in Mobile Agent System
Tan Xiang;GU Yu-Qing

..............page:147-148,157

Design and Realization of Alert Correlation Component on IDS
QIN Zheng;SHEN Ya-Min;LI Na;ZHANG Da-Fang

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

The Technology of NAT and the Research of its Traverse Solutions
BAI Wei-hua;LI Ji-gui

..............page:44-45,222

The System Framework of Caches with Two Levels and Strong Consistency Based on GPRS Networks
TAN Jin;ZHU Guang-Xi

..............page:40-43

A New Model of Anomaly Network Flow Detection
TU Xu-Ping;JIN Hai;HE Li-Li;YANG Zhi-ling;TAO Zhi-Fei

..............page:37-39,54

A New Loop-Free LSP Extension Mechanism for Integration of Mobile IP and MPLS
LI Yun;YANG Feng-rui;LONG Ke-ping;CHEN Qian-bin

..............page:34-36

LOARD: Layered Open Architecture for Router Distributed
YU Xin;HUANG Ben-xiong;RUAN Jia-Yong

..............page:30-33,43

Intelligent Agent-Based QoS Management Model
BIAN Zhen-Gai;LUO Jun-Zhou

..............page:27-29,36

A Novel Cross-layer Load-aware Based Load-balanced On-demand Routing for Ad-hoc Networks (CLLOR)
ZHENG Xiang-Quan;GUO Wei;GE Li-Jia

..............page:21-26

The Study on Prefetching of Remote Memory Architecture
XU Jian-wei;CHEN Ming-yu;BAO Yun-Gang

..............page:15-20

A Novel Adaptive Blind Digital Watermarking Algorithm
PENG Qiu-Ming;YANG Xiao-fan;HUANG Song;LI Si-Jing;BAI Sen

..............page:63-66

The Application of Bayes Classification in IDS
XUE Jing-feng;CAO Yuan-da

..............page:60-63

An Overview of the One-Way Accumulator Technology
WAN Guo-Gen;ZHOU Shi-jie;QIN Zhi-guang

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

A Rapid URL-Based Spam Filtering System
ZHAN Chuan;LU Xian-Liang;HOU Meng-shu;Xing Qian

..............page:55-56,66

Research and Realization for SOAP Encryption Techniques Based on .NET
MENG Jun;SHENG Yu;LIU Hong-Bo

..............page:52-54

Research on Distributed Intrusion Prevention System Based on Multi-Agent
XIE Zan-fu;LI Ji-gui

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

Formal Model for Secure Group Management
YIN Qing;ZHOU Wei;WANG Qing-xian

..............page:12-14,20

A Survey on Sensor Networks Operating Systems
SHI Gao-Tao;LIAO Ming-hong

..............page:7-11

Implementation of a Sharable Service System for Rural Scientific and Technological Information
ZHENG Yu-Fei;LIU Lei;FENG Qiang-Ze;CAO Cun-Gen

..............page:1-6,11

Research on UML-Based Statistical Testing Method
Zhu Hong-hong;XIONG Guang-Ze;Lei Hang;Sang Nan

..............page:219-222

A Method for Real Time Screen Sharing Based on Message Mechanism
DU Jun-Yong;WANG Guo-yin

..............page:223-225,236

The Design and Implementation of a Distributed Access Control System Based on Trust-Management
WANG Yuan;XU Feng;CAO Chun;LU Jian

..............page:226-229,248

Study and Implementation of a Hierarchical Time Management Mechanism in Agent-Based Distributed Simulation
YE Chao-qun;WU Ji;JIN Shi-yao

..............page:230-232

Research of Key Technologies of the Secure Database Sharing in Collaborative Design Environments
LANG Bo;ZHANG Xin;LI Wei-qin

..............page:233-236

Design and Implementation of Cooperative Multi-user Interface Based on MVC Design Pattern
LI Jun-Huai;ZHANG Tong;PENG Jun;ZHANG Jing

..............page:237-240

Video Surveillance System of Substations Based on IR Thermal Image Technology
Hu Xu;LIU Xiao-Ming;YANG Shi-zhong;ZONG Yuan-Hong;CHEN Tao

..............page:241-244

Research on the Technologies of Digital Library Interoperability Based on Grid
ZHENG Zhi-yun;XU Wei;NIU Zhen-dong;SONG Han-tao

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

huan ying yue du / ding yue 2006 nian ji suan ji ke xue

..............page:244

Study of Refactoring for Workflow
TIAN Ke;ZHU Qing-xin;XIANG Pei-Su

..............page:87-90

A Web Robot Detection Method Based on Content Classification and Statistics
GUO Wei-gang;JU Shi-Guang

..............page:179-181

An Analysis of Information Cooperation Benefit Based on Network Delay
ZHANG Song-Bao;ZHANG Wei-Ming;HUANG Jin-cai

..............page:176-178,189

Intelligence Decision Supporting Prototype System for Air Traffic Control Based on GIS
GUO Ping;YANG Guo-Zhou;TAN Yan;WU Xia-Xia

..............page:173-175,240

Reasoning Method for Resolving Orientation Relation Constraint Satisfaction Problems
GUO Ping;HOU Rui;YANG Guo-Zhou;FAN Li

..............page:170-172,181

RCBNN: A New Constructing Method for Neural Network
XIE Zhen-hua;LI Ning;SHANG Ling;CHEN Zhao-Qian;CHEN Shi-Fu

..............page:166-169

Probability Discernibility Matrix and Attribute Reduction for Incomplete Information Systems
YAN De-Qin

..............page:164-166

A Survey of Load Shedding Techniques in Data Stream Systems
HAN Dong-Hong;WANG Guo-ren

..............page:102-105

The Research of Issuing Policy of Metropolitan Area Network Examination System
WANG Shi-Lun;ZUO You-Dong

..............page:100-101

On the Design and Construction of Dgital Campus Software System
ZHU Wei-Hua;YANG Dan;Sang Jun;FANG Wei-Tao;WEN Jun-hao;XU Guang-Xia

..............page:97-99,160

The Study of Campus Application Software Integration Model Based on Distributed Workflow Technology
WANG Gang;CHEN Shi-Fu;CHEN Zhao-Qian;XIAO Wei

..............page:94-96,108

An Optimistic Nested Transaction Model in Workflow
DONG　Yun-wei;HAO Ke-gang

..............page:90-93

Finite-state Analysis of a Fair Non-repudiation Protocol
DONG Rong-Sheng;CHEN Da-Wei;GUO Yun-Chuan;GU Tian-long

..............page:83-86

Research on Database Encryption Based on B/S Architecture
SHANG Jin;XU Jiang-feng;HUANG Xiao-Su

..............page:80-82

A Crash Recovery Technique for Embedded Real-Time Main Memory Databases
XIAO Ying-yuan;LIU Yun-Sheng;LIU Xiao-Feng;LIAO Guo-Qiong

..............page:77-79,105

An Inference Quantized Analysis Scheme of MLS DBMS Using Rough Set
YANG Wu;HUANG Zhi-zhen;LI Li-Xin

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

Qeuing Model and Analysis of a Distributed Database System Based on Object Service
WANG Zhi-he;YANG Yan-jiao;ZHANG Qiang

..............page:73-74,212

S_Schema and it's Relation-Based Mapping Method
YOU Zhong-sheng

..............page:70-72

Dynamic Replication Based on GFS-Net
XIA Qian-Jun;LI Qing-Hu;YE Xiao-jun

..............page:67-69,82