Sciweavers

13140 search results - page 178 / 2628
» Coupling Component Systems towards Systems of Systems
Sort
View
ENTCS
2007
70views more  ENTCS 2007»
15 years 4 months ago
Component Substitutability via Equivalencies of Component-Interaction Automata
We provide a new look at formal aspects of component substitutability (replacement of a component with a new one) and independent implementability (reuse of a component in any sys...
Ivana Cerná, Pavlína Vareková...
ICSE
2001
IEEE-ACM
15 years 9 months ago
Theory of Software Reliability Based on Components
We present a foundational theory of software system reliability based on components. The theory describes how component developers can design and test their components to produce ...
Richard G. Hamlet, David V. Mason, Denise M. Woit
RIVF
2007
15 years 6 months ago
Towards Ontology-based Semantic File Systems
— Semantic file systems enhance standard file systems with the ability of file searching based on file semantics. The users interact with semantic file systems not only by execut...
Ba-Hung Ngo, Christian Bac, Frédériq...
ARCS
2005
Springer
15 years 10 months ago
A File System for System Programming in Ubiquitous Computing
In Ubiquitous computing small embedded sensor and computing nodes are the main enabling technologies. System programming for such small embedded systems is a challenging task invol...
Christian Decker, Michael Beigl, Albert Krohn
BMCBI
2011
14 years 8 months ago
FFCA: a feasibility-based method for flux coupling analysis of metabolic networks
Background: Flux coupling analysis (FCA) is a useful method for finding dependencies between fluxes of a metabolic network at steady-state. FCA classifies reactions into subsets (...
László Dávid, Sayed-Amir Mara...