يعرض 161 - 180 نتائج من 680 نتيجة بحث عن '((((justification OR modification) OR purifications) OR verification) OR justifications)', وقت الاستعلام: 0.14s تنقيح النتائج
  1. 161
  2. 162
  3. 163
  4. 164
  5. 165
  6. 166
  7. 167

    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
  8. 168

    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
  9. 169
  10. 170

    Deepfakes Signatures Detection in the Handcrafted Features Space حسب Hamadene, Assia

    منشور في 2023
    "…We, therefore, Propose in this paper, a handcrafted feature based Writer-Independent (WI) signature verification system to detect synthetic writers and signatures through handcrafted features. …"
    احصل على النص الكامل
  11. 171

    Developing a Digital Trust Framework between Government and Private Sector in the Financial Sector حسب AL SHAMSI, SUAAD SALEM YOUSEF

    منشور في 2023
    "…Services in critical domains such as finance, health and travel heavily rely on identity verification. This process is known as “Know Your Customer” (KYC). …"
    احصل على النص الكامل
  12. 172

    Critical Evaluation Of Simulation Studies In Maintenance Systems حسب Andijani, A. A.

    منشور في 2020
    "…It is observed that most papers define clearly their objectives, simulation languages, and model performance measures. However, verification, validation, experimental design, and output analysis are the most unclear factors.…"
    احصل على النص الكامل
    article
  13. 173

    Integrating UAHPL-DA systems with VLSI design tools to support VLSIDA courses حسب Sait, Sadiq M.

    منشور في 1992
    "…It was accomplished with the integration of two systems: (1) a DA system which automatically produces VLSI layouts of digital systems modeled in Universal Hardware Programming Language (UAHPL); and (2) a set of VLSI tools, which in addition to several other functions can be used for simulation and verification of layout designs. Compared with other approaches, the integrated DA system provides a very simple user interface, fast turnaround time, no restriction on the final structure of the layout, and simulation and verification of all phases of design. …"
    احصل على النص الكامل
    احصل على النص الكامل
    article
  14. 174

    The Future of the Humanities in Today's Financial Markets حسب Lea, David

    منشور في 2014
    "…This change is often explained as the result of cost cutting necessary during periods of financial crisis, but this justification is belied by the fact that while the humanities have suffered during recent 'financial crises,' other areas within the university have grown. …"
    احصل على النص الكامل
    article
  15. 175

    INTEGRATING UAHPL-DA SYSTEMS WITH VLSI DESIGN TOOLS TO SUPPORT VLSI DA COURSES حسب Sait, Sadiq M.

    منشور في 2020
    "…In this paper, we explain the establishment of such an environment, which is accomplished with the integration of two systems: 1) a DA system which automatically produces VLSI layouts of digital systems modeled in universal hardware programming language (UAHPL); and 2)A set of VLSI tools, which in addition to several other functions can be used for simulation and verification of layout design. COmpared with other approaches, the integrated DA system provides a very simple user interface, fast turnaround time, no restriction on the final structure of the layout, and simulation and verification of all phases of design. …"
    احصل على النص الكامل
    article
  16. 176

    INTEGRATING UAHPL-DA SYSTEMS WITH VLSI DESIGN TOOLS TO SUPPORT VLSI DA COURSES حسب Sait, Sadiq M.

    منشور في 1992
    "…In this paper, we explain the establishment of such an environment, which is accomplished with the integration of two systems: 1) a DA system which automatically produces VLSI layouts of digital systems modeled in Universal Hardware Programming Language (UAHPL); and 2) a set of VLSI tools, which in addition to several other functions can be used for simulation and verification of layout designs. Compared with other approaches, the integrated DA system provides a very simple user interface, fast turnaround time, no restriction on the final structure of the layout, and simulation and verification of all phases of design. …"
    احصل على النص الكامل
    article
  17. 177
  18. 178

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

    منشور في 2002
    "…The second method, referred to as modification-based reduction version 2 (MBR2) improves MBR1 by further omitting tests that do not cover the modification. …"
    احصل على النص الكامل
    احصل على النص الكامل
    احصل على النص الكامل
    article
  19. 179

    Kinship recognition from faces using deep learning with imbalanced data حسب Hadid, Abdenour

    منشور في 2022
    "…Kinship verification from faces aims to determine whether two person share some family relationship based only on the visual facial patterns. …"
    احصل على النص الكامل
  20. 180