Results 41 to 50 of about 3,675 (190)

A Decentralized Compositional Framework for Dependable Decision Process in Self-Managed Cyber Physical Systems

open access: yesSensors, 2017
Cyber Physical Systems (CPSs) need to interact with the changeable environment under various interferences. To provide continuous and high quality services, a self-managed CPS should automatically reconstruct itself to adapt to these changes and recover ...
Peng Zhou   +3 more
doaj   +1 more source

Provable Secure Parallel Gadgets

open access: yesTransactions on Cryptographic Hardware and Embedded Systems, 2023
Side-channel attacks are a fundamental threat to the security of cryptographic implementations. One of the most prominent countermeasures against side-channel attacks is masking, where each intermediate value of the computation is secret shared, thereby
Francesco Berti   +2 more
doaj   +1 more source

Composing life [PDF]

open access: yesThe EMBO Reports, 2000
Textbooks often assert that life began with specialized complex molecules, such as RNA, that are capable of making their own copies. This scenario has serious difficulties, but an alternative has remained elusive. Recent research and computer simulations have suggested that the first steps toward life may not have involved biopolymers.
D, Segré, D, Lancet
openaire   +2 more sources

On the composable security of weak coin flipping [PDF]

open access: yesQuantum
Weak coin flipping is a cryptographic primitive in which two mutually distrustful parties generate a shared random bit to agree on a winner via remote communication. While a stand-alone secure weak coin flipping protocol can be constructed from noiseless
Jiawei Wu   +3 more
doaj   +1 more source

Composable constraints

open access: yesCoRR, 2021
We introduce a notion of compatibility between constraint encoding and compositional structure. Phrased in the language of category theory, it is given by a "composable constraint encoding". We show that every composable constraint encoding can be used to construct an equivalent notion of a constrained category in which morphisms are supplemented with ...
Matt Wilson, Augustin Vanrietvelde
openaire   +2 more sources

An Analysis of Composability and Composition Anomalies [PDF]

open access: yes, 2003
The separation of concerns principle aims at decomposing a given design problem into concerns that are mapped to multiple independent software modules.
Bergmans, Lodewijk   +3 more
core   +2 more sources

TSM+ and OTSM

open access: yesTransactions on Cryptographic Hardware and Embedded Systems
Among the countermeasures against side-channel analysis attacks, masking offers formal security guarantees and composability, yet remains challenging to implement efficiently in hardware due to physical defaults like glitches and transitions.
Hemin Rahimi, Amir Moradi
doaj   +1 more source

Composability: Perspectives in Ecological Modeling

open access: yes, 2012
The multiplicity of ecological interactions acting in parallel calls for novel computational approaches in modeling ecosystem dynamics. Composability, a key property of process algebra-based models can help to manage complexity and offer scalable ...
PRIAMI, CORRADO
core   +1 more source

THE AMERICAN COMPOSER [PDF]

open access: yesThe Musical Quarterly, 1915
Composition in America one is compelled to admit that there are as yet no real American composers. That is, speaking in the sense in which we consider Beethoven, Wagner or Strauss as German composers; Delibes, Massenet or Saint-Saiens as French composers, and Verdi, Rossini and Donizetti as Italian composers.
openaire   +2 more sources

Home - About - Disclaimer - Privacy