Computer Science 2007 Issue 1 Research on MDA Software Engineering Based on EMF and OCL

Research on MDA Software Engineering Based on EMF and OCL
CHANG Hao-Hao;QIN Zheng

..............page:268-271

OpenCMP: A Simulator for CMP with Transactional Memory Model
HE Yu-Nan;AN Hong;GUO Rui;LIANG Bo

..............page:248-254

Refactoring Operations Based on Procedure Blueprint
LIU Jian-Bin;YANG Lin-Bang

..............page:242-247

On Petri Nets Refinement and its Application
CHEN Zhao-Zhu;XIA Chuan-Liang

..............page:236-241

Transformation UML Class Diagrams with OCL Constraints into Object-Z Formal Specification
MIAO Huai-Kou;CHEN Yi-Hai

..............page:228-235

Enhancing Service-oriented Software Development Supporting Service Behavior and Quality
YIN Qin;LI Jun;LUO Yi;HU Hao;LU Jian

..............page:223-227

The Realization of Reflective Real-time Component
HUANG Jing;LU Yan-Sheng;XU Li-Ping

..............page:219-222,254

Some Variations of Dominating Set Problem
LI Zhen-Jian;GE Qi;WANG Hai-Tao;ZHU Hong

..............page:177-178,186

A Series of New Necessary Conditions for a Graph to Be Hamiltonian
WEN Zhong-Hua;HUANG Wei;JIANG Yun-Fei

..............page:172-176

A Building of the Current Intelligent Learing Environment Model
ZHONG Guo-Xiang;ZHANG Xiao-Zhen

..............page:170-171,197

The Types and their Statistical Distribution on Sentence Elements Share between Chinese Sentences
ZHANG Quan;WU Chen;WEI Xiang-Feng

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

Fuzzy Self-Tuning PI Control Algorithm for Visual Tracking
SHEN Xiao-Jing;CHEN Ming;LI Jing;CHI Tao

..............page:140-143

Applying Machine Learning to Chi-square Steganalysis: A Case Study
GE Shen;GAO Yang;ZHOU Ru-Yi

..............page:144-147

A New Solution Based on "Conjunctive & Disjunctive Pooling" and Pignistic Probability Transforms According to the Evidence Conflict Problems in D-S Theory of Evidence
PAN Wei;LI Jin-Chuan;WANG Yang-Sheng;YAGN Hong-Ji

..............page:148-152

Fuzziness Based on Covering Generalized Rough Sets
WEI Rong;LIU Bao-Cang;SHI Kai-Quan

..............page:153-155

The Performance Evaluation of Rate Monotonic Tasks Assignment Algorithms on Multiprocessor
WANG Tao;LIU DaXin

..............page:272-277

An Automatic Computation and Data Decomposition Algorithm Based on Linear Algebra
HAN Lin;ZHAO Rong-Cai;DONG Chun-Li;ZHANG Ping

..............page:278-280,293

Equivalence Testing Based on EFSM
YI Guo-Hong;LU Yan-Sheng

..............page:281-284

Test-Suite Minimization Using Genetic Algorithms
MA Xue-Ying;SHENG Bin-Kui;YE Cheng-Qing

..............page:285-288,封四

Application of Least Squares Support Vector Machine in Fault Diagnosis
YANG Kui-He;SHAN Gan-Lin;ZHAO Ling-Ling

..............page:289-291

Vague Sets and its Similarity Measures
QIU Wei-Gen

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

Rough Set Reduction Using Method of Closed Operator
WEI Ling;ZHANG Wen-Xiu

..............page:159-162,182

Research on Modeling Method of Emotional Speech Recognition
PAN Yu-Chun;XU Ming-Xing;JIA Pei-Fa

..............page:163-165

A QoS-aware Multicast Routing Algorithm Based on Ant Agents
YANG Li;YAN Xin

..............page:52-56

Removing Optimized Executable Code Technique in IA-64 Binary Translation
SU Ming;ZHAO Rong-Cai;SONG Zong-Yu

..............page:264-267

Research on Parallel Technologies of RISC Architecture
ZHOU Yi-Min;WEI Hong-Xing

..............page:262-263,277

A High Performance I/O Method
HUO Yan-Mei;JU Jiu-Bin;HU Liang

..............page:259-261,267

Design and Implementation of a File System Oriented for Attribute-based Access
XIE Lin-Feng;WU Jian

..............page:255-258

Research on Secure Auto-configuration Scheme in Mobile Ad Hoc Networks
XU Zhong;DAI Guan-Zhong;CAO Li;MU De-Jun

..............page:50-51,155

Complexity Scalable Inter Modes Decision Algorithm for H.264 Based on Spatial Correlation
FENG Bin;ZHU Guang-Xi;LIU Wen-Yu

..............page:46-49

Joint Source-Channel Coding for FGS Enhancement Layer Video Transmission
WAGN Feng;ZHU Guang-Xi;ZHANG Zhen-Ming;HE Ye-Jun

..............page:42-45,70

Research for Correlative Control Technology in the VPN Topology
OUYANG Kai;ZHOU Jing-Li;DONG Li-Jun

..............page:39-41,152

Topology Control Mechanisms in Wireless Sensor Networks
YANG He;ZHANG Shu-Dong;SUN Li-Min

..............page:36-38,87

Study on Variable-Structure Congestion Control Protocol
GUAN Zhi-Hong;CHEN Hu;CHEN Jian-Cong

..............page:34-35,49

An Algorithm to Dynamically Reduce the State Space of Timed Automata during the Reachability Analysis
CHEN Ming-Song;ZHAO Jian-Hua;LI Xuan-Dong;ZHENG Guo-Liang

..............page:213-218

Multi-views Software Component Modeling for Testing
LIU Dong-Yi;JIN Mao-Zhong;GAO Zhong-Yi

..............page:208-212

Quantum Process
LIU Ji

..............page:203-207

Method of Automatic Generation of STL Files from Industrial CT Slicing Image
DUAN Li-Ming;IN Hai;U Zhao-Ming;LIU Lu

..............page:201-202,218

Segmentation for Handwritten Numerals Based on Background Analysis
MA Rui;XIA Yong-Quan;YANG Jing-Yu

..............page:198-200,207

Slant Correction of Document Image Based on Line Structural Analysis
YANG You;LI Xiao-Hong

..............page:195-197

Tracing of Objects in Image Sequences Using QP_TR Trust Region Algorithm
JIA Jing-Ping;CHAI Yan-Mei;ZHAO Rong-Chun;ZHANG Yan-Ning

..............page:191-194

Texture Image Segmentation Based on DT-CWT and MRF Model
WANG Xi-Li;JIAO Li-Cheng

..............page:187-190

Fingerprint Crease Detection Based on Local Orientation Field
SHEN Lei;TAO Yang-Yu;ZHAUNG Zhen-Quan

..............page:183-186

Caricature Generation for Mobile Device
LI Long-Sheng;ZHOU Jing-Ye;CHEN Yi-Qiang;LIU Jun-Fa;CHEN Zhen-Yu

..............page:179-182

EPN-based Congestion Pricing Mechanism
TAO Jun;SHUAI Dian-Xun

..............page:61-63

Routing Protocol Simulation for Satellite Networks Based on NS-2
JIN Xin-Miao

..............page:57-60

A Secure Anonymous on Demand Routing Protocol in Ad Hoc
CHEN Jing;CUI Guo-Hua;HONG Liang;FU Cai

..............page:29-33,60

A Survey of the IEEE 802.11 MAC Protocol in Wireless Ad Hoc Networks
LI Chun-Shi;WANG Guang-Xing

..............page:26-28

Feature Model Based on Description Logics
FAN Shao-Feng;ZHANG Nai-Xiao;ZHAO Xin-Yu

..............page:21-25

FollowMeLite: A Lightweight Middleware for Pervasive Computing
LI Jun;TAO Xian-Ping;BU Ying-Yi;CHEN Sha-Xun;YIN Qin;LU Jian

..............page:17-20,83

Data Gene: Model of Managing the Evolution of Data
XI Jian-Qing;GUO Yu-Bin;TANG De-You

..............page:12-16

Survey on Transitive Signature Schemes
ZHANG Guo-Yin;WANG Ling-Ling;MA Chun-Guang

..............page:6-11

An Overview of Stream Data Mining
SUN Yu-Fen;LU Yan-Sheng

..............page:1-5,11

The Sufficiency Condition of the Two-Phase Locking without Deadlock
FENG Tao;LI Jun;WANG Tao

..............page:292-293

Study of Workfiow Reconstruction Based on Hybrid Genetic Algorithm
TIAN Ke;ZHU Qing-Xin;XIANG Pei-Su

..............page:103-105,111

Research on XML Routing Network-based Active Interest Management
BEI Jia;ZHAI Lei;CHEN Ji-Ming;PAN Jin-Gui

..............page:100-102,119

A Service Adaptation System in Mobile Distributed Enviromnent
CONG Lan-Lan;JIN Bei-Hong;ZHANG Ying

..............page:97-99,108

Study of XML Data Storage and Transportation Technology Based on DMB EPG
WU Jun-Lin;XU Long-Fei;ZHAO Ju-Xue;SITU Hao-Zhen

..............page:92-96

An XML Conceptual Model: XUML
LIU Hong-Xing;LU Yan-Sheng;CHEN Ming

..............page:88-91

A DSML-based Scheme and Implementation for Certificate Validation
LI Yin-Dong;GUO Yi-Wei;MA Hong

..............page:128-129

An Algorithm of Unsupervised Anomaly Detection Based on DBMS and its Application
ZHONG Yong;LIN Dong-Mei;IN Xiao-Lin

..............page:123-127

A Study of Wireless Sensor Network Evaluation Technology and Testbed
KE Xin;SHU Jian;REN Yong;SUN Li-Min

..............page:120-122,127

A Probabilistic Public Key Cryptosystem with a Message Expansion of 1
WANG Xiao-Fei;CUI Guo-Hua;LI Jun;TANG Xue-Ming

..............page:117-119

An Identity-based Distributed Conference Key Distribution Scheme
YANG Zong-Kai;XIE Hai-Tao;CHENG Wen-Qing;TANG Yun-Meng

..............page:115-116,143

A Securely Set Itinerary Protocol of Mobile Agents
LIU Yi;ZHANG Ling

..............page:112-114,176

Multi-modal Analysis of Sports Video for Semantics
LIU Yu-Chi;LUAN Xi-Dao;DAI Duan-Hui;WU Ling-Da

..............page:109-111

The Study of Network Multimedia Developing Platform Designs Based on DM642
LIU Xing-Xing

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

A Novel Prediction Technique for Range Aggregation of Moving Objects
WU Qiu-Yun;LIAO Wei;JING Ning;LI Jun

..............page:84-87

The Research of Optimizing ETL Execution Process
WU Yuan-Hong

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

Study on XML Indexing Query
XIAO Yuan;JI Gen-Lin

..............page:78-80,96

Research of QoS Monitor Algorithm for Space Based Real-time System
ZENG Bin;LI Zi-Tang;WANG Wei;LIU Hai-Qing

..............page:74-77

Analysis of the Ad Hoc Network Performance Measurement
WANG Wei;CAI Wan-Dong;TIAN Guang-Li;LI Yong-Jun

..............page:71-73,91

Simulation-based Performance Evaluation of TCP Protocols for High-Speed Long Distance Networks
YANG Zheng;WU Ling-Da

..............page:67-70

A Resource Allocation Policy Which can Guarantee the Communication Contention in QoS Limitations under Master/Slave Architecture
YANG Juan;LAI Xiang-Wei;QIU Yu-Hui

..............page:64-66

Lazy Learning Based Double Layer Naive Bayesian Classifier
SUN Jiang-Wen;WANG Chong-Jun;WANG Jun;CHEN Shi-Fu

..............page:136-139

A Model Selection Algorithm of Influence Diagrams Based on Structural Decomposition
YAO Hong-Liang;WANG Hao;ZHANG You-Sheng;FANG Bao-Fu

..............page:133-135,139

Advances in Probabilistic Logic Model and Learning
XU Guang-Mei;YANG Bing-Ru;ZHANG Wei;NING Shu-Rong

..............page:130-132