Search alternatives:
specification » specifications (Expand Search), purification (Expand Search), verification (Expand Search)
quantification » identification (Expand Search)
modifications » modification (Expand Search)
codification » modification (Expand Search), acidification (Expand Search), notification (Expand Search)
Showing 1 - 20 results of 3,703 for search '((((specification OR specification) OR quantification) OR modifications) OR codification)', query time: 0.12s Refine Results
  1. 1
    EMBRACING MODEL TRANSFORMATIONS IN FUNCTIONAL REQUIREMENTS SPECIFICATION

    EMBRACING MODEL TRANSFORMATIONS IN FUNCTIONAL REQUIREMENTS SPECIFICATION by unknown

    Published 2020
    Get full text
    masterThesis
    Save to List
    Saved in:
  2. 2
    SlanC: A Specification Language for Computable Contracts

    SlanC: A Specification Language for Computable Contracts by unknown

    Published 2020
    Get full text
    masterThesis
    Save to List
    Saved in:
  3. 3
    Model-Driven Specification and Design-Level Analysis of XACML Policies

    Model-Driven Specification and Design-Level Analysis of XACML Policies by Tout, Hanine

    Published 2020
    “…XACML or eXtensible Access Control Markup Language is one of the most widely adopted security standards for controlling access to individual and between composed services based on policies specifications. However, like any other policy language, XACML policies are specified in structural files with complex syntax, which makes the policies specification process both, time consuming and error prone. …”
    Get full text
    Get full text
    Get full text
    Get full text
    conferenceObject
    Save to List
    Saved in:
  4. 4
    Applying Static Slicing to UCM Specifications

    Applying Static Slicing to UCM Specifications by unknown

    Published 2020
    Get full text
    masterThesis
    Save to List
    Saved in:
  5. 5
    Hardware specific optimization on RTL description

    Hardware specific optimization on RTL description by Al-Mulhem, Abdulaziz Sultan

    Published 1994
    Get full text
    masterThesis
    Save to List
    Saved in:
  6. 6
    The Employment of Generic and Issue-Specific Frames

    The Employment of Generic and Issue-Specific Frames by Farhat, Sally

    Published 2022
    “…Its significance also lies in its ability to present a framework for a typology of issue-specific frames that could be used to examine other social movements and periods of unrest.…”
    Get full text
    Get full text
    Get full text
    masterThesis
    Save to List
    Saved in:
  7. 7
    A unified specification model of concurrency and coordination for synthesis from VHDL

    A unified specification model of concurrency and coordination for synthesis from VHDL by Ouaiss, Iyad

    Published 2017
    “…This paper proposes a Unified Specification Model (USM) of concurrency and coordination compatible with VHDL. …”
    Get full text
    Get full text
    Get full text
    conferenceObject
    Save to List
    Saved in:
  8. 8
    Storage allocation for diverse FPGA memory specifications

    Storage allocation for diverse FPGA memory specifications by Ouaiss, Iyad

    Published 2017
    “…These techniques include modifications to the memory mapping procedure presented in [1] and cater to various memory specifications. …”
    Get full text
    Get full text
    Get full text
    Get full text
    conferenceObject
    Save to List
    Saved in:
  9. 9
    PCB LAYOUT GENERATION FROM RTL SPECIFICATIONS

    PCB LAYOUT GENERATION FROM RTL SPECIFICATIONS by Yazdani, J

    Published 2020
    Get full text
    article
    Save to List
    Saved in:
  10. 10
    An Extension Of Rahim And Banerjee'S Model For A Process With Upper And Lower Specification Limits

    An Extension Of Rahim And Banerjee'S Model For A Process With Upper And Lower Specification Limits by Al-Sultan, Khalid

    Published 2020
    “…We present an extension of their model for a process having both upper and lower specification limits. The model finds the optimal initial setting of the process mean and the optimal cycle length. …”
    Get full text
    article
    Save to List
    Saved in:
  11. 11
    INVESTIGATION OF VARIOUS BACTERIAL ISOLATES IN DEGRADATION OF SPECIFIC HYDROCARBONS

    INVESTIGATION OF VARIOUS BACTERIAL ISOLATES IN DEGRADATION OF SPECIFIC HYDROCARBONS by unknown

    Published 2020
    Get full text
    masterThesis
    Save to List
    Saved in:
  12. 12
    Formal synthesis of VLSI layouts from algorithmic specifications

    Formal synthesis of VLSI layouts from algorithmic specifications by Sait, Sadiq M.

    Published 2020
    “…Keywords: Formal synthesis, VLSI layous, Algorithmic specifications, high level synthesis…”
    Get full text
    article
    Save to List
    Saved in:
  13. 13
    Development of performance-based bitumen specifications for the Gulf countries

    Development of performance-based bitumen specifications for the Gulf countries by Al-Abdul Wahab, H.I

    Published 1997
    Get full text
    article
    Save to List
    Saved in:
  14. 14
    Properties of pre-cast terrazzo tiles and recommended specifications

    Properties of pre-cast terrazzo tiles and recommended specifications by Karam, G.

    Published 2009
    “…Recommendations for improving existing specifications and developing quality control measures are presented…”
    Get full text
    Get full text
    Get full text
    Get full text
    article
    Save to List
    Saved in:
  15. 15
    From model-driven specification to design-level set-based analysis of XACML policies

    From model-driven specification to design-level set-based analysis of XACML policies by Mourad, Azzam

    Published 2016
    “…This paper proposes a UML profile that allows systematic model-driven specification of XACML policies to resolve the complexity of policies designation. …”
    Get full text
    Get full text
    Get full text
    Get full text
    article
    Save to List
    Saved in:
  16. 16
    PSA-activated proaerolysin as a prostate specific cancer therapy

    PSA-activated proaerolysin as a prostate specific cancer therapy by Abi-Habib, Ralph

    Published 2006
    “…Modification of native proaerolysin to PRX302 markedly altered the activity of each of the proteases (chymotrypsin, trypsin, furin, and thrombin) tested toward this protein. …”
    Get full text
    Get full text
    Get full text
    conferenceObject
    Save to List
    Saved in:
  17. 17
    Parametric uncertainty bounds for guaranteedH∞-norm specifications

    Parametric uncertainty bounds for guaranteedH∞-norm specifications by Al-Sunni, F.M.

    Published 1999
    Get full text
    Get full text
    article
    Save to List
    Saved in:
  18. 18
    Parametric Uncertainty Bounds For Guaranteed H-Infinity-NormSpecifications

    Parametric Uncertainty Bounds For Guaranteed H-Infinity-NormSpecifications by AL-Sunni, Fouad

    Published 2020
    Get full text
    article
    Save to List
    Saved in:
  19. 19
    OPTIMIZATION OF DRILLING PARAMETERS USING SPECIFIC ENERGY IN REAL TIME

    OPTIMIZATION OF DRILLING PARAMETERS USING SPECIFIC ENERGY IN REAL TIME by unknown

    Published 2020
    Get full text
    masterThesis
    Save to List
    Saved in:
  20. 20
    Freight-specific data derived from intelligent transportation systems

    Freight-specific data derived from intelligent transportation systems by Srour, F. Jordan

    Published 2006
    “…Given the unique patterns of freight flow, freight metrics are most valuable when derived from freight-specific data. Extraction of timely freight-specific data to support freight planning efforts is not, however, always straightforward. …”
    Get full text
    Get full text
    Get full text
    article
    Save to List
    Saved in:

Search Tools: