Showing 141 - 160 results of 695 for search '((((verification OR modification) OR quantifications) OR fortification) OR justification)', query time: 0.11s Refine Results
  1. 141
  2. 142
  3. 143
  4. 144
  5. 145
  6. 146
  7. 147
  8. 148
  9. 149
  10. 150

    Regression testing web services-based applications by Tarhini, Abbas

    Published 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. …”
    Get full text
    Get full text
    Get full text
    Get full text
    conferenceObject
  11. 151

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

    Published 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. …”
    Get full text
    article
  12. 152

    Deepfakes Signatures Detection in the Handcrafted Features Space by Hamadene, Assia

    Published 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. …”
    Get full text
  13. 153

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

    Published 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). …”
    Get full text
  14. 154
  15. 155

    Critical Evaluation Of Simulation Studies In Maintenance Systems by Andijani, A. A.

    Published 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.…”
    Get full text
    article
  16. 156

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

    Published 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. …”
    Get full text
    Get full text
    article
  17. 157

    Determination of alachlor, metolachlor, and their acidic metabolites in soils by microwave-assisted extraction (MAE) combined with solid phase extraction (SPE) coupled with GC-MS a... by Vryzas, Zisis

    Published 2007
    “…After the method optimization, average recovery values of all solutes were > 71% in the 50–500 μg/kg fortification range with RSD <10%. The LOQ and LOD were 10–50 and 5–10 μg/kg, respectively. …”
    Get full text
    Get full text
    Get full text
    Get full text
    article
  18. 158

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

    Published 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. …”
    Get full text
    article
  19. 159

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

    Published 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. …”
    Get full text
    article
  20. 160

    Reduction-based methods and metrics for selective regression testing by Mansour, Nashat

    Published 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. …”
    Get full text
    Get full text
    Get full text
    article