Results 141 to 150 of about 2,907 (227)

A Formal Validation Approach for XACML 3.0 Access Control Policy. [PDF]

Sensors (Basel), 2022
Caserio C, Lonetti F, Marchetti E.
europepmc   +1 more source

Connection between Dijkstra's Predicate-Transformers and Denotational Continuation-Semantics

, 1978
It is important to define and relate different semantic methods. In particular it is interesting to compare semantics for program- verification with those aimed for program execution.
Jensen, Kurt
core  

Logic Programming with Post-Quantum Cryptographic Primitives for Smart Contract on Quantum-Secured Blockchain. [PDF]

Entropy (Basel), 2021
Sun X, Kulicki P, Sopek M.
europepmc   +1 more source

Denotational Semantics [PDF]

, 2007
Ian Chiswell, Wilfrid Hodges
openaire   +2 more sources

The separation and compactness on fuzzy partial metric spaces. [PDF]

Fundam Res
Wang H, Shen C, Jin Z.
europepmc   +1 more source

Linguistic issues behind visual question answering. [PDF]

Lang Linguist Compass, 2021
Bernardi R, Pezzelle S.
europepmc   +1 more source