EMBRACING MODEL TRANSFORMATIONS IN FUNCTIONAL REQUIREMENTS SPECIFICATION حسب unknown

احصل على النص الكامل

SlanC: A Specification Language for Computable Contracts حسب unknown

احصل على النص الكامل

Model-Driven Specification and Design-Level Analysis of XACML Policies حسب Tout, Hanine

"…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. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

Applying Static Slicing to UCM Specifications حسب unknown

احصل على النص الكامل

Hardware specific optimization on RTL description حسب Al-Mulhem, Abdulaziz Sultan

احصل على النص الكامل

The Employment of Generic and Issue-Specific Frames حسب Farhat, Sally

"…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.…"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

A unified specification model of concurrency and coordination for synthesis from VHDL حسب Ouaiss, Iyad

"…This paper proposes a Unified Specification Model (USM) of concurrency and coordination compatible with VHDL. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

Storage allocation for diverse FPGA memory specifications حسب Ouaiss, Iyad

"…These techniques include modifications to the memory mapping procedure presented in [1] and cater to various memory specifications. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

PCB LAYOUT GENERATION FROM RTL SPECIFICATIONS حسب Yazdani, J

احصل على النص الكامل

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

"…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. …"
احصل على النص الكامل

INVESTIGATION OF VARIOUS BACTERIAL ISOLATES IN DEGRADATION OF SPECIFIC HYDROCARBONS حسب unknown

احصل على النص الكامل

Formal synthesis of VLSI layouts from algorithmic specifications حسب Sait, Sadiq M.

"…Keywords: Formal synthesis, VLSI layous, Algorithmic specifications, high level synthesis…"
احصل على النص الكامل

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

احصل على النص الكامل

Properties of pre-cast terrazzo tiles and recommended specifications حسب Karam, G.

"…Recommendations for improving existing specifications and developing quality control measures are presented…"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

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

"…This paper proposes a UML profile that allows systematic model-driven specification of XACML policies to resolve the complexity of policies designation. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

PSA-activated proaerolysin as a prostate specific cancer therapy حسب Abi-Habib, Ralph

"…Modification of native proaerolysin to PRX302 markedly altered the activity of each of the proteases (chymotrypsin, trypsin, furin, and thrombin) tested toward this protein. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل

Parametric uncertainty bounds for guaranteedH∞-norm specifications حسب Al-Sunni, F.M.

احصل على النص الكامل
احصل على النص الكامل

Parametric Uncertainty Bounds For Guaranteed H-Infinity-NormSpecifications حسب AL-Sunni, Fouad

احصل على النص الكامل

OPTIMIZATION OF DRILLING PARAMETERS USING SPECIFIC ENERGY IN REAL TIME حسب unknown

احصل على النص الكامل

Freight-specific data derived from intelligent transportation systems حسب Srour, F. Jordan

"…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. …"
احصل على النص الكامل
احصل على النص الكامل
احصل على النص الكامل