Results 71 to 80 of about 3,675 (190)
Mapping indefinite causal order processes to composable quantum protocols in a spacetime
New Journal of PhysicsFormalisms for higher order quantum processes provide a theoretical formalisation of quantum processes where the order of agents’ operations need not be definite and acyclic, but may be subject to quantum superpositions.
Matthias Salzger, V Vilasini
doaj +1 more source
Composability for Application-Specific Transactional Optimizations
, 2010 Software Transactional Memory (STM) has made great advances towards acceptance into mainstream programming by promising a programming model that greatly reduces the complexity of writing concurrent programs.
Budimlić, Zoran +2 more
core
An analysis of the cost of validating semantic composability
, 2011 Validation of semantic composability is a non-trivial problem and a key step in component-based modelling and simulation. Recent work in semantic composability validation promises to reduce verification, validation, and accreditation efforts.
Szabo, C. +4 more
core +1 more source
Symbolic Universal Composability [PDF]
, 2013 We introduce a variant of the Universal Composability framework (UC; Canetti, FOCS 2001) that uses symbolic cryptography. Two salient properties of the UC framework are secure composition and the possibility of easily defining security by giving an ideal
Dominique Unruh, Florian Böhl
core +1 more source
IEEE AccessRecent findings show that many energy nodes rely on energy operators for inputs on energy operations. In this paper, we introduce UReum, a universally composable blockchain-enabled secure and privacy-preserving data awareness solution by which energy ...
Abubakar Sadiq Sani +3 more
doaj +1 more source
Categories for Cryptographic Composability
https://rdc.reed.edu/v1/resources/5538ea39-9626-41cc-9557-9b860af150ed/thumb/128.jpgWe present introductory material on cryptography and category theory, focused on the prerequisites to cryptographic composability.
Shahar, Riley
core
A Universally Composable Linkable Ring Signature Supporting Stealth Addresses
MathematicsThe linkable ring signature supporting stealth addresses (SALRS) is a recently proposed cryptographic primitive, which is designed to comprehensively address the soundness and privacy requirements associated with concealing the identities of both the ...
Xingkai Wang, Chunping Zhu, Zhen Liu
doaj +1 more source
Composability Verification of Real Time System Models Using Colored Petri Nets
, 2013 The discipline of component based modeling and simulation offers promising gains including reduction in development cost, time, and system complexity. It also promotes (re)use of modular components to build complex simulations.
Moradi, Farshad, +7 more
core +1 more source
Journal of MathematicsConstructing a knowledge structure using the variable precision FT-rough set model is an effective approach. Because directly constructing a knowledge structure for a subject or field is challenging, synthesizing global information from local information
Jingjing Yang, Chuanyi Huang, Jinjin Li
doaj +1 more source
Ecozon@: European Journal of Literature, Culture and Environment, 2010 Rosemarie Rowley Rosemarie Rowley was born in 1942. She received a Dublin Corporation scholarship in the fifties, has degrees in Irish and English literature (with Distinction) at Trinity College, Dublin, philosophy, and, later, psychology (National University of Ireland). While at Trinity College in the 1960s she published her first poems.
openaire +3 more sources