1222 search results - page 155 / 245 » A Bayesian Approach to Model Checking Biological Systems |
127
click to vote
IPPS
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
166
click to vote
ADVIS
2006
Springer
15 years 10 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
222
click to vote
BIOCOMP
2010
15 years 2 months ago
2010
Abstract-- Modeling the intermolecular reactions in a single cell is a critical problem in computational biology. Biochemical reaction systems often involve species in both low and...
127
click to vote
ASM
2010
ASM
16 years 1 months ago
2010
ASM
The Java programming language has been widely described as secure by design. Nevertheless, a number of serious security vulnerabilities have been discovered in Java, particularly i...
135
click to vote
IVC
2008
15 years 4 months ago
2008
This paper presents arguments that explicit strategies for visual attentional selection are important for cognitive vision systems, and shows that a number of proposals currently ...