Sciweavers

1984 search results - page 216 / 397
» Binary Component Adaptation
Sort
View
NCA
2006
IEEE
15 years 10 months ago
Trust Assessment from Observed Behavior: Toward and Essential Service for Trusted Network Computing
Modern distributed information systems handle increasingly critical data and computation, but there is no systematic way to assess whether a given part of the system can be entrus...
Partha Pratim Pal, Franklin Webber, Michael Atighe...
ICAC
2005
IEEE
15 years 10 months ago
Towards a Framework and a Design Methodology for Autonomic SoC
This paper proposes autonomic or organic computing principles to be applied to hardware design methods for future SoC solutions. Incorporating self-calibration, fault tolerance or...
Gabriel Mihai Lipsa, Andreas Herkersdorf, Wolfgang...
ARCS
2005
Springer
15 years 10 months ago
The Bio-Chemical Information Processing Metaphor as a Programming Paradigm for Organic Computing
All known life forms process information on a molecular level. This kind of chemical information processing is known to be robust, self-organizing, adaptive, decentralized, asynch...
Peter Dittrich
MIDDLEWARE
2005
Springer
15 years 10 months ago
Generic Middleware Substrate Through Modelware
Abstract. Conventional middleware architectures suffer from insufficient module-level reusability and the ability to adapt in face of functionality evolution and diversification....
Charles Zhang, Dapeng Gao, Hans-Arno Jacobsen
FMCO
2003
Springer
102views Formal Methods» more  FMCO 2003»
15 years 9 months ago
Preserving Properties Under Change
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
Heike Wehrheim