Results 31 to 40 of about 3,675 (190)
IEEE Access, 2023 In the realm of the Industrial Internet of Things (IoT) and Industrial Cyber-Physical Systems (ICPS), Digital Twins (DTs) have revolutionized the management of physical entities.
Abdullah Aziz +3 more
doaj +1 more source
A sharper image: the quest of science and recursive production of objective realities
Principia: An International Journal of Epistemology, 2020 This article explores the metaphor of Science as provider of sharp images of ourenvironment, using the epistemological framework of Objective Cognitive Constructivism.These sharp images are conveyed by precise scientific hypotheses that, in turn, are ...
Julio Michael Stern
doaj +1 more source
Science of Computer Programming, 2003 AbstractWe explore the question of the composition of invariance specifications in a context of concurrent and reactive systems. Depending on how compositionality is stated and how invariants are defined, invariance specifications may or may not be compositional.
openaire +2 more sources
Symbolic computation software composability
, 2008 We present three examples of the composition of Computer Algebra Systems to illustrate the progress on a composability infrastructure as part of the SCIEnce (Symbolic Computation Infrastructure for Europe) project1.
Freundt, Sebastian +19 more
core +2 more sources
Applying the Levels of Conceptual Interoperability Model in Support of Integratability, Interoperability, and Composability for System-of-Systems Engineering [PDF]
Journal of Systemics, Cybernetics and Informatics, 2007 The Levels of Conceptual Interoperability Model (LCIM) was developed to cope with the different layers of interoperation of modeling and simulation applications.
Andreas Tolk +2 more
doaj
Constructions and FramesAbstract Understanding how language comprehension works remains a central challenge. While meaning is traditionally viewed as incrementally constructed through compositional processes, numerous studies show that non-compositional mechanisms also play a crucial role.
Blache, Philippe +3 more
openaire +3 more sources
Composability in the time-triggered system-on-chip architecture
, 2008 The composition of a large SoC out of pre-validated IP-Cores requires an architecture that enables the seamless integration of components, i.e. composability. In this paper we present the five Principles of Composability that must be supported by any
Kopetz, Hermann
core +4 more sources
The architecture of blockchain value: capabilities, pillars, and growth dynamics
Frontiers in BlockchainThis paper develops a capability-based framework for understanding the architecture and value of blockchain systems. We classify networks into three paradigms: single-capability systems that deliver one core function, multi-capability systems that ...
Agisilaos Papadogiannis
doaj +1 more source
Glitch-Resistant Masking Revisited
Transactions on Cryptographic Hardware and Embedded Systems, 2019 Implementing the masking countermeasure in hardware is a delicate task. Various solutions have been proposed for this purpose over the last years: we focus on Threshold Implementations (TIs), Domain-Oriented Masking (DOM), the Unified Masking Approach ...
Thorben Moos +3 more
doaj +1 more source
Composable Gadgets with Reused Fresh Masks
Transactions on Cryptographic Hardware and Embedded Systems, 2022 Albeit its many benefits, masking cryptographic hardware designs has proven to be a non-trivial and error-prone task, even for experienced engineers.
David Knichel, Amir Moradi
doaj +1 more source