Results 11 to 20 of about 3,675 (190)
Information and Computation, 2023 The present work builds on previous investigations of the authors (and their collaborators) regarding bridges, a certain type of morphisms between encryption schemes, making a step forward in developing a (category theory) language for studying relations between encryption schemes.
Mugurel Barcau +2 more
openaire +6 more sources
, 2002 The constructive design of dependable distributed real-time systems out of prevalidated components requires precise interface specifications of the components in the temporal domain and in the value domain.
Obermaisser, Roman, Kopetz, Hermann
core +4 more sources
Randomized Oblivious Transfer for Secure Multiparty Computation in the Quantum Setting
Entropy, 2021 Secure computation is a powerful cryptographic tool that encompasses the evaluation of any multivariate function with arbitrary inputs from mutually distrusting parties.
Bruno Costa +4 more
doaj +1 more source
ANTON: Composing Logic and Logic Composing [PDF]
, 2009 In most styles of music, composition is governed by a set of rules. We demonstrate that approaching the automation and analysis of composition declaratively, by expressing these rules in a suitable logical language, powerful and expressive intelligent composition tools can easily be built.
Georg Boenn +3 more
openaire +1 more source
Multi-core Composability in the Face of Memory Bus Contention
, 2012 In this paper we describe the problem of achieving composability of independently developed real-time subsystems to be executed on a multicore platform.We evaluate existing work for achieving real-time performance on multicores and illustrate their lack ...
Inam, Rafia, +3 more
core +8 more sources
Models, Composability, and Validity [PDF]
, 2004 Composability is the capability to select and assemble simulation components in various combinations into simulation systems to satisfy specific user requirements.
Weisel, Eric Werner
core +1 more source
Domain Specific MetaModeling for Deep Semantic Composability
IEEE Access, 2018 Current simulation models are not only represented in the form of traditional data or formula for pure theory analysis but expanded to be simulation modeling assets that are featured with complicated structure, diverse behaviors, and abundant semantics ...
Zhi Zhu +4 more
doaj +1 more source
Composable Masking Schemes in the Presence of Physical Defaults & the Robust Probing Model
Transactions on Cryptographic Hardware and Embedded Systems, 2018 Composability and robustness against physical defaults (e.g., glitches) are two highly desirable properties for secure implementations of masking schemes.
Sebastian Faust +4 more
doaj +1 more source
Checking Component Composability [PDF]
, 2006 International audienceComponent-Based Software Engineering (CBSE) is one of the approaches to master the development of large scale software. In this setting, the verification concern is still a challenge.
Attiogbé, Christian +5 more
core +1 more source
ARES: Automated Risk Estimation in Smart Sensor Environments
Sensors, 2020 Industry 4.0 adoption demands integrability, interoperability, composability, and security. Currently, integrability, interoperability and composability are addressed by next-generation approaches for enterprise systems integration such as model-based ...
Athanasios Dimitriadis +4 more
doaj +1 more source