Results 121 to 130 of about 11,408 (204)

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

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

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