بدائل البحث:
verification » purification (توسيع البحث), diversification (توسيع البحث)
notification » certification (توسيع البحث), justification (توسيع البحث), purification (توسيع البحث)
verification » purification (توسيع البحث), diversification (توسيع البحث)
notification » certification (توسيع البحث), justification (توسيع البحث), purification (توسيع البحث)
-
101
-
102
Design of A Theoretical Framework For A Real-Time Fire Evacuation Guidance System
منشور في 2020الموضوعات: احصل على النص الكامل
doctoralThesis -
103
On Single Source Reachability Improvement
منشور في 2022الموضوعات: "…Computer systems -- Verification…"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
masterThesis -
104
-
105
-
106
SRP: An Efficient Runtime Protection Framework for Blockchain-based Smart Contracts
منشور في 2023الموضوعات: -
107
Empirical Evaluation of Extended Finite State Machine Test Suites
منشور في 2022الموضوعات: "…Software engineering/software/program verification…"
احصل على النص الكامل
doctoralThesis -
108
Regression testing web services-based applications
منشور في 2006"…Such applications are usually modified to fix errors or to enhance their functionality. After modifications, regression testing is essential to ensure that modifications do not lead to adverse effects. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
conferenceObject -
109
Reduction-based methods and metrics for selective regression testing
منشور في 2002"…The first method, referred to as modification-based reduction version 1 (MBR1), selects a reduced number of test cases based on the modification made and its effects in the software. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
article -
110
Effect of fiber-fiber interaction on the strength properties of short fiber reinforced cements
منشور في 1994"…A general modification to the models used for the study of the effect of fiber volume on the strength properties of short fiber reinforced cements is presented. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
article -
111
An improved wall-distance-free version of the Baldwin-Barth turbulence model
منشور في 2017"…This paper presents a modified version of the Baldwin-Barth (BB) turbulence model. This modification accounts for the asymptotic boundary value of the pseudo eddy viscosity as the wall is approached. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
conferenceObject -
112
Regular, Intense Exercise Training as a Healthy Aging Lifestyle Strategy: Preventing DNA Damage, Telomere Shortening and Adverse DNA Methylation Changes Over a Lifetime
منشور في 2021"…Methylation and histone acetylation are two of the most well-studied examples of the epigenetic modifications that occur on histone proteins. DNA methylation is the type of epigenetic modification that alters gene expression without modifying gene sequence. …"
-
113
-
114
Incremental & classical genetic algorithm. (c2001)
منشور في 2001احصل على النص الكامل
احصل على النص الكامل
masterThesis -
115
The Effect of Barkley’s Behavior Management Principles on a child with ADHD in a Lebanese inclusive classroom
منشور في 2013"…Barkley’s behavior management principles for students with ADHD developed and implemented in a second grade inclusive classroom through a system of behavior modification techniques are studied in this project. …"
احصل على النص الكامل
احصل على النص الكامل
article -
116
Ripple effect in web applications
منشور في 2010"…The number of internet web applications is rapidly increasing in a variety of fields and not much work has been done for ensuring their quality, especially after modification. Modifying any part of a web application may affect other parts. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
article -
117
Computing ripple effect for web applications. (c2007)
منشور في 2007احصل على النص الكامل
احصل على النص الكامل
masterThesis -
118
A hybrid graph representation for recursive backtracking algorithms
منشور في 2017"…The use of efficient data structures is necessary for fast graph modification modules as well as fast take-back procedures. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
conferenceObject -
119
Incremental Genetic Algorithm
منشور في 2006"…In many cases, problems undergo frequent minor modifications, each producing a new problem version. …"
احصل على النص الكامل
احصل على النص الكامل
article -
120
Effective information bounds in modified quantum mechanics
منشور في 2024"…Here, we analyze the general consequences of such modifications from the point of view of quantum information theory and we anticipate applications to different quantum systems. …"