Showing 61 - 80 results of 3,733 for search '((((verification OR modification) OR justification) OR notification) OR specifications)', query time: 0.11s Refine Results
  1. 61
  2. 62

    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
  3. 63

    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
  4. 64

    The Role of AEBP1 in Sex-Specific Diet-Induced Obesity by Zhang, Lei

    Published 2005
    “…Our results suggest that AEBP₁ plays a key functional role in in vivo modulation of adiposity via fat-cell proliferation and is involved in a sex-specific susceptibility to diet-induced obesity by the estrogen signaling pathway.…”
    Get full text
    article
  5. 65

    Evaluating Reading Comprehension Testing in Kuwait by Barman, Meshari A.

    Published 2016
    Subjects: “…test specifications…”
    Get full text
    doctoralThesis
  6. 66
  7. 67
  8. 68
  9. 69
  10. 70
  11. 71
  12. 72
  13. 73

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

    Published 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. …”
  14. 74

    Attack-Specific Feature Selection for Anomaly Detection in Software-Defined Networks by Abbas, Nadine

    Published 2021
    “…In this paper, we address the SDN vulnerabilities and present attack-specific feature selection to identify the features that have the most impact on anomaly detection. …”
    Get full text
    Get full text
    Get full text
    Get full text
    conferenceObject
  15. 75

    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
  16. 76
  17. 77
  18. 78
  19. 79
  20. 80

    Surface modification of recycled low-density polyethylene for separation of emulsified oily polluted waters by Sarah M. Hailan (22330417)

    Published 2025
    “…This study presents a novel adsorbent composed of powdered LDPE coated with a specific polymeric layer that exhibits affinity for negatively charged oil droplets. …”