Results 101 to 110 of about 246 (185)

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

How to systematically and quantifiably remove meaning? [PDF]

Front Artif Intell
Proschinger Åström F, Hintze A.
europepmc   +1 more source

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