يعرض 121 - 140 نتائج من 1,177 نتيجة بحث عن '((((verification OR modification) OR certification) OR modifications) OR justification)', وقت الاستعلام: 0.13s تنقيح النتائج
  1. 121
  2. 122
  3. 123
  4. 124
  5. 125
  6. 126

    Empirical Evaluation of Extended Finite State Machine Test Suites حسب Hasan, Faiz Mohammed

    منشور في 2022
    الموضوعات: "…Software engineering/software/program verification…"
    احصل على النص الكامل
    doctoralThesis
  7. 127
  8. 128

    A Comparative Analysis of Green Financing Strategies for achieving Net Zero Energy in UAE حسب Al HEFEITI, NOUR OBAID

    منشور في 2023
    الموضوعات: "…net zero energy building, green bonds, property assessed clean energy program, energy performance certificate…"
    احصل على النص الكامل
  9. 129
  10. 130

    Regression testing web services-based applications حسب Tarhini, Abbas

    منشور في 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
  11. 131

    Effect of fiber-fiber interaction on the strength properties of short fiber reinforced cements حسب Karam, G.N.

    منشور في 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
  12. 132
  13. 133

    Reduction-based methods and metrics for selective regression testing حسب Mansour, Nashat

    منشور في 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
  14. 134

    An improved wall-distance-free version of the Baldwin-Barth turbulence model حسب Elkhoury, Michel

    منشور في 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
  15. 135

    Regular, Intense Exercise Training as a Healthy Aging Lifestyle Strategy: Preventing DNA Damage, Telomere Shortening and Adverse DNA Methylation Changes Over a Lifetime حسب Maha Sellami (4351159)

    منشور في 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. …"
  16. 136
  17. 137

    An Iterative Heuristic for State Justi�cation in Sequential Automatic Test Pattern Generation حسب El-Maleh, Aiman H.

    منشور في 2001
    "…In this work, we adopt a hybrid approach for state justification. A new method based on Genetic Algorithms is proposed, in which we engineer state justifcation sequences vector by vector. …"
    احصل على النص الكامل
    article
  18. 138

    Ion-imprinted membranes for lithium recovery: A review حسب Sifani, Zavahir

    منشور في 2024
    "…The review thoroughly investigates the application of IIMs in Li extraction, covering extensive sections on 12-crown-4 ether (a fundamental crown ether for Li), its modifications, calixarenes, and other materials for creating imprinting sites. …"
    احصل على النص الكامل
    احصل على النص الكامل
    احصل على النص الكامل
    article
  19. 139

    Drivers and challenges for implementing ISO 14001 environmental management systems in an emerging Gulf Arab country حسب Waxin, Marie-France

    منشور في 2017
    "…Worldwide, ISO 14001 certification for organizations has become the norm, but the Arab world accounts for an insignificant portion of all the certified organizations. …"
    احصل على النص الكامل
    article
  20. 140

    A hybrid graph representation for recursive backtracking algorithms حسب Abu-Khzam, Faisal N.

    منشور في 2017
    "…The use of efficient data structures is necessary for fast graph modification modules as well as fast take-back procedures. …"
    احصل على النص الكامل
    احصل على النص الكامل
    احصل على النص الكامل
    احصل على النص الكامل
    conferenceObject