1098 search results - page 145 / 220 » System safety as an emergent property in composite systems |
107
click to vote
FSEN
2009
Springer
15 years 6 months ago
2009
Springer
Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal ...
122
click to vote
CONCUR
2001
Springer
15 years 5 months ago
2001
Springer
We present a process algebraic approach for extending to the probabilistic setting the classical logical information flow analysis of computer systems. In particular, we employ a ...
111
click to vote
FORTE
2003
15 years 2 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
NIPS
1993
15 years 2 months ago
1993
We consider the problem of how the CNS learns to control dynamics of a mechanical system. By using a paradigm where a subject's hand interacts with a virtual mechanical envir...
111
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: A new method for the prediction of protein structural classes is constructed based on Rough Sets algorithm, which is a rule-based data mining method. Amino acid compos...