2610 search results - page 46 / 522 » Computational Probabilistic Non-interference |
119
click to vote
ISMVL
2005
IEEE
15 years 7 months ago
2005
IEEE
It is believed that quantum computing will begin to have a practical impact in industry around year 2010. We propose an approach to test generation and fault localization for a wi...
140
click to vote
BMCBI
2010
14 years 11 months ago
2010
Background: Models for the simulation of metabolic networks require the accurate prediction of enzyme function. Based on a genomic sequence, enzymatic functions of gene products a...
186
click to vote
JUCS
2010
14 years 8 months ago
2010
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...
115
Voted
ICAI
2009
14 years 11 months ago
2009
We present a novel affective goal selection mechanism for decision-making in agents with limited computational resources (e.g., such as robots operating under real-time constraint...
120
Voted
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. We study a process calculus which combines both nondeterministic and probabilistic behavior in the style of Segala and Lynch’s probabilistic automata. We consider vario...