1222 search results - page 127 / 245 » A Bayesian Approach to Model Checking Biological Systems |
127
click to vote
AUSAI
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Traditional approaches to evolvable hardware (EHW), using a direct encoding, have not scaled well with increases in problem complexity. To overcome this there have been m...
149
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: The amount of available biological information is rapidly increasing and the focus of biological research has moved from single components to networks and even larger ...
162
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
167
click to vote
CAV
2009
Springer
16 years 4 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
138
click to vote
JBCS
2002
15 years 4 months ago
2002
This paper presents a new approach for generating configured and flexible middleware systems for integration of heterogeneous and distributed data. The configuration is based on t...