يعرض 101 - 120 نتائج من 595 نتيجة بحث عن '((((verification OR modification) OR modifications) OR notification) OR justification)', وقت الاستعلام: 0.12s تنقيح النتائج
  1. 101
  2. 102
  3. 103
  4. 104

    Formal Verification- and AI/ML-Assisted Radio Resource Allocation for Open RAN Compliant 5G/6G Networks حسب Tariq Mumtaz (10861635)

    منشور في 2025
    "…The proposed RRM methodology incorporates formal verification capabilities to generate vast Pareto optimality datasets for specific RAN design parameters, establishing a foundation for rigorous RRM strategy selection. …"
  5. 105
  6. 106
  7. 107
  8. 108
  9. 109
  10. 110
  11. 111
  12. 112
  13. 113
  14. 114

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

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

    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
  16. 116

    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
  17. 117
  18. 118

    An android-based trojan spyware to study the notificationlistener service vulnerability حسب Abualola, Huda

    منشور في 2016
    "…A Trojan application, known as SMS backup, is developed to spy the notifications of other applications. Such an application requires only two permissions that include “Notification Access” and “Internet”. …"
    احصل على النص الكامل
    احصل على النص الكامل
    احصل على النص الكامل
    احصل على النص الكامل
    article
  19. 119

    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
  20. 120

    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