Journal of Shanghai University(Natural Science Edition) 2007 Issue 5 Axiomatic Assessment of UML Statecharts-Based Test Adequacy Criteria

Home | Survey | Payment| Talks & Presentations | Job Opportunities

Journals A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Journal of Shanghai University(Natural Science Edition)
1007-2861
2007 Issue 5

Axiomatic Assessment of UML Statecharts-Based Test Adequacy Criteria
MIAO Huai-kou;FEI Li-zhi

..............page:489-496

Scalable Parallel Algorithm of Block Tridiagonal Systems for Initial Boundary Value Problem
ZHANG Wu;ZHANG Heng

..............page:497-503

Remote Monitoring and Control of Sluice and Pump Based on Lonworks and Web Server
CHEN Yi-min;QIN Ting-gao;WANG Xiao-wei

..............page:504-510

shang hai da xue xue bao ( zi ran ke xue ban ) zheng gao jian ze

..............page:封3

Intuitive and Quantitative Color Space Comparison for Skin Detection
FANG Yu-chun

..............page:639-646

Efficient Identity-Based Blind Signature Scheme
NIU Zhi-hua;ZHAO Ding

..............page:634-638

Grid Resource Selection Strategy Based on an Adaptive Parallel Genetic Algorithm
WU Pin;LI Jian-dun;LIU Quan-sheng;LI Song-bei

..............page:629-633

Feature Weighting based Ensemble of Adaptive Resonance Theory Networks and Its Application
LIU Yue;WU Geng-feng;DING Zhi-guo

..............page:623-628

Proxy Signature Scheme with Controlled Proxy Signing Capability
DAI Jia-zhu;LI Shi-hui;NIU Zhi-hua

..............page:617-622

Message Passing Mechanism and Routing Algorithm in Message Passing Interconnection Networks
ZHU Yong-hua;YAO Hong;XU Wei-ming

..............page:611-616

Coding and Location Algorithm of Knowledge Map
LUO Xiang-feng;YU Zhi-an;HU Qing-liang;CHEN Bo

..............page:605-610

Feature Selection for Ensemble Learning
LI Guo-zheng;LI Dan

..............page:598-604

Open System Framework for Economical Operation of Power Plants
XIN Ming-jun;ZHANG Li-qiang;QIAO Xin;SU Qing

..............page:593-597

Role-Based Access Control Model with Enhanced Constraints
ZHOU Ming;ZENG Jun-dong;CAI Yu-hua

..............page:588-592

Description and Implementation of Component Dependency
CAO Min;YUAN Shi-zhong

..............page:583-587

An Approach to Verification of Web Application Design
ZENG Hong-wei;MIAO Huai-kou

..............page:578-582

Image Similarity Based on Hierarchical Wavelet Transform
DING Guang-tai;WANG Wei

..............page:571-577,582

Attribute Reduction and Rule Extraction for Earthquake Data Based on Dominance Relation Rough Set
WU Shao-chun;ZHENG Yu;WU Geng-feng;ZHU Bing-bing

..............page:566-570

Reusable Monitor of Testbench
YANG Hong-bin;HAN Xia;WU Yue

..............page:560-565

Automatic Image Acquisition for ID Card
XU Hua-hu;WANG Hui-ya;WAN Jie;GAO Jue;XU Lin

..............page:554-559

Time-Fusion Based on Time-Series Mining and Application of Sea Surface Temperature Forecast
XU Ling-yu;FANG Xiao-jun;XU Ren-jie;SHEN Li-wei

..............page:550-553,559

Parallel Training Strategy Based on Support Vector Machine
LEI Yong-mei;WANG Xiong;GUO Heng-ming;JIN Heng-ke

..............page:545-549

Simulation and Implementation of SystemC Bus Model
WU Yue;REN Zhi-qing;YANG Hong-bin

..............page:539-544

Semantic Constraint Maintenance in Transformation between XML and Relations
YE Fei-yue;LI Xia;ZHANG Bin

..............page:532-538

A Method of Simplifying Complexity of Mutation Testing
XU Shi-yi

..............page:524-531

Management Strategy of Data Bits in Ternary Optical Computer
JIN Yi

..............page:519-523

Simulations of 3D Pattern Formation Based on Lattice Boltzmann Method
LI Qing;XU Xu-feng;ZHOU Mei-lian

..............page:516-518

Human Face Detection Based on Cluster Skin Color Model
DING You-dong;DU Xiao-feng;Li Xiao-qiang

..............page:511-515