Correctness - Dissertation

About 58 item dissertation in line with Correctness query results,the following is 1 to 50(Search took 0.088 seconds)

A Study to Improve CFL Based on TheDiscovery of Coincidental Correctness Test Cases,FengLuLu/Zhejiang University of Technology,0/1
The Research on ABox Consistency Decision Algorithms for Description Logic SHIF and SHIQ,PengLi/Hunan University,0/2
To investigate the social linguistics card written Chinese language situation,DuLinLin/Shenyang Normal,0/1
A Clustering-based Strategy to Identify Coincidental Correctness for Fault Localization,ZuoZuo/Nanjing University,0/85
Design and Implementation of Mobile Services Assist Design Tool,XiaoJiePing/Sun Yat-sen University,0/3
Data-aware Workflow Modeling and Verification,WangChaoXia/Tsinghua University,0/62
Certifying Assembly Programs Using a Control-flow-explicit Language,WangWei/University of Science and Technology of China,0/18
Law as Rhetoric,LiuBing/China University of Political Science,2/135
Application of Se in the teaching of China Portuguese,GuZuoZuo/Shanghai International Studies University,0/29
The Interplay between Culture and Political Correctness in Interpreting,DuXueZhong/Shanghai International Studies University,0/28
Design of Preparation System of Detection Method for Conjoint Ammunition,CuiZuo/Changchun University of Science and Technology,0/12
Research on the Key Technologies on Automation Design of Fixture Locating Point Layout,CuiYue/Nanchang University of Aeronautics and,0/130
Key technology research workflow systems to support group work,LiFeng/Institute of Computing Technology,11/382
Research on Model for Web Service Composition Based on Extended Colored Petri Net,LiJingXia/Institute of Computing Technology,15/754
Study of Laser Interference Surface Texture Measuring System and 3D-MOTIF Evaluatin Method,GuoJun/Huazhong University of Science and Technology,14/504
Research on the Validation Methods of the C~4ISR System Requirements Based on Model Checking and Simulation,DengXiaoNi/National University of Defense Science and Technology,6/377
Research on Key Technologies of Automatic Web Services Composition,YangYanPing/National University of Defense Science and Technology,14/685
Study on Program Verification Based on Symbolic Computation,WuBin/East China Normal University,3/175
Research on Key Techniques of Firewall Rule Set,LiLin/University of Electronic Science and Technology,4/389
Research on Key Techniques of 3D Spatial Topological Analysis,ZhangJun/Nanjing University of Aeronautics and Astronautics,1/312
Feature-Oriented Development and Formal Functional Verification of SystemC Model Product Line,YeJun/National University of Defense Science and Technology,0/50
Research on Key Technologies for Cross Enterprises Cooperation Based on Services Composition,ZhangShuai/Zhejiang University,1/161
A Study of the Effect of Proficiency Level in Paired Role Play Tape-mediated Oral Tests,MaRuiJuan/Shanxi University,0/92
Ball for table tennis players to determine the direction of influencing factors,YanChunJin/Beijing Sport University,2/388
× × × credibility assessment of simulation test system control and management subsystems,YangHaiGang/National University of Defense Science and Technology,1/132
Research for Formalizing Workflow Model,LiangAiNan/Hunan University,6/163
The Xunzi dialectics political vision,SongZhuLi/South China Normal University,2/182
Research and application data model B1 level mandatory access control,ZhangJie/Zhengzhou University,2/132
The Mistakes and Correctness of Womens’ Report in Chinese Mass Media,ZhouCanHua/Guangxi University,3/277
Effectiveness analysis of student conversation,BaoXiaoHong/East China Normal University,10/415
The Form-finding Analysis of the Large-span Cable-membranc Structures,LiLianBin/Taiyuan University of Technology,4/146
An American Tragedy,LiuJing/Harbin Engineering University,3/370
The Studies on Closing Mechanisms of Fracture in Compact Sandstone Gas Reservoir,YanHai/Southwest Petroleum University,1/541
Thoughts on Artificial Intelligence and Virtual Society from the Angle of Philosophy,LiuJun/Xinjiang University,1/554
The Method Research of Modeling and Analysis-Evaluation for the Petri Nets-Based Workflow Model,WanHePing/Huazhong University of Science and Technology,7/607
The principle of legal argumentation,HouXueYong/Shandong University,5/288
The Research on Program Auto-checking Based on XML,ZhuJiang/Xiangtan University,0/117
Time-based logic program correctness verification,WangZhiYuan/Dalian University of Technology,0/80
Research on Trustworthy of Composition Web Services Based on Stochastic Petri Net,GuoJuan/Anhui University of Technology,1/147
Verifying Parallel Low-Level Programs for Multi-core Processor,ZhuYunMin/Tsinghua University,0/134
CPN -based software development process modeling,LiQing/China University of Petroleum,5/252
The Effects of Written Corrective Feedback on the Improvemet of Grammatical Accuracy-An Empirical Study of English Tense of Simple Past and Simple Present,WangZuoXin/Shanghai International Studies University,2/192
Individual and collective , filthy human weakness and social opposition and balance,ZhangDi/Shanghai Jiaotong University,0/310
The Verification of Petri-Net-Based Extend XinPai Driven Workflow Model,WangNa/Northwestern University,2/75
Law’s Claim to Correctness and Its Methodological Implication,FengWei/China University of Political Science,0/47
Software Tool-Chain for the Design and Analysis of Hybrid Embedded Systems,QinXingGuo/Shantou University,0/26
Research and Implementation of Web Services Trusted Measurement Method Based on Third Party,LiYueYue/Beijing University of Posts and Telecommunications,0/41
Dynamic Deployment System of Computing Environments for Cloud Computing,LiRuiLing/Huazhong University of Science and Technology,1/262
On Civil Authenticity and Validity of the Decision,ZhangZuoHong/Northwest Normal University,0/20
Effects of Self-Assessment Training on Students’ Performance on College English Writing Tests,ZhengHuiQing/Zhejiang University,0/30