2502 search results - page 298 / 501 » Using probabilistic model checking in systems biology |
180
click to vote
MEMBRANE
2009
Springer
16 years 1 months ago
2009
Springer
would be an abstract answer (because it would not immediately link a formal model with the biological reality that inspired it or with possible implementations) from the other hand...
208
click to vote
ECBS
2007
IEEE
15 years 10 months ago
2007
IEEE
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
191
click to vote
CSREASAM
2006
15 years 8 months ago
2006
Current computer security systems are based on the premise that once a user presents valid credentials to the authentication system (e.g. valid ID and password), they are granted ...
196
click to vote
AAAI
1993
15 years 8 months ago
1993
Many reported discovery systems build discrete models of hidden structure, properties, or processes in the diverse fields of biology, chemistry, and physics. We show that the sear...
200
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: The ambition of most molecular biologists is the understanding of the intricate network of molecular interactions that control biological systems. As scientists uncove...