Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Specification and Verification of a Transient Stack

Subjects: Program verification; Program specification; Separation LogicUnited StatesPhiladelphia, United States

  • Source: CPP 2022 - 11th ACM SIGPLAN International Conference on Certified Programs and Proofs ; https://inria.hal.science/hal-03472028 ; CPP 2022 - 11th ACM SIGPLAN International Conference on Certified

تفاصيل العنوان

×
Conference

Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework

Subjects: Formal specification; Language; SemanticsLimassol; Cyprus

  • Source: Electronic Proceedings in Theoretical Computer Science (EPTCS) ; 3rd Workshop on Formal Integrated Development Environment ; https://inria.hal.science/hal-01401849 ; 3rd Workshop on Formal Integrated

تفاصيل العنوان

×
Conference

Luminance-Hue Specification in the RGB Space

Subjects: Color; Luminance-Hue Specification; Color-spacesLège Cap-Ferret.; France

  • Source: Scale-Space and Variational Method in Computer Vision ; https://hal.science/hal-01168528 ; Scale-Space and Variational Method in Computer Vision, Jun 2015, Lège Cap-Ferret., France.

تفاصيل العنوان

×
Conference

On Compliance of Cookie Purposes with the Purpose Specification Principle

Subjects: [INFO.INFO-WB]Computer Science [cs]/Web; [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]Genova; Italy

  • Source: IWPE 2020 - International Workshop on Privacy Engineering ; https://inria.hal.science/hal-02567022 ; IWPE 2020 - International Workshop on Privacy Engineering, Sep 2020, Genova, Italy. pp.1-8

تفاصيل العنوان

×
Conference

Data Consistency in the 5G Specification

Subjects: 5G; Correctness; ConsistencyParis; France

  • Source: ICIN 2020 - 23rd Conference on Innovation in Clouds, Internet and Networks and Workshops ; https://hal.science/hal-02943802 ; ICIN 2020 - 23rd Conference on Innovation in Clouds, Internet and Networks

تفاصيل العنوان

×
Conference

Design and Evaluation of Three Selection Techniques for Tightly Packed 3D Objects in Cell Lineage Specification in Botany

Subjects: 3D interaction; object selection; dense datasetsMississaugaMississauga, Canada

  • Source: GI 2021 - Graphics Interface ; https://inria.hal.science/hal-03127256 ; GI 2021 - Graphics Interface, May 2021, Mississauga, Canada. pp.213--223, ⟨10.20380/GI2021.33⟩

تفاصيل العنوان

×
Conference

Verification of Population Protocols with Unordered Data

Subjects: Parameterized verification; Distributed computing; Well-specificationTallinn; EstoniaTallinn, Estonia

  • Source: ICALP 2024 - 51st EATCS International Colloquium on Automata, Languages and Programming ; https://hal.science/hal-04707329 ; ICALP 2024 - 51st EATCS International Colloquium on Automata, Languages and

تفاصيل العنوان

×
  • 1-10 ل  758 نتائج ل ""specification""