2502 search results - page 190 / 501 » Using probabilistic model checking in systems biology |
151
click to vote
FTDCS
1997
IEEE
15 years 10 months ago
1997
IEEE
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
198
click to vote
IPPS
2006
IEEE
16 years 15 days ago
2006
IEEE
Advanced wireless sensor network algorithms pose challenges to their formal modeling and analysis, such as modeling probabilistic and real-time behaviors and novel forms of commun...
173
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract In the event that a system does not satisfy a speciļ¬cation, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
178
click to vote
BIBM
2008
IEEE
16 years 29 days ago
2008
IEEE
Using microarray technology for genetic analysis in biological experiments requires computationally intensive tools to interpret results. The main objective here is to develop a ā...
155
click to vote
MEMICS
2010
15 years 1 months ago
2010
Recently, almost uncontrolled technological progress allows so called high-throughput data collection for sophisticated and complex experimental biological systems analysis. Espec...