2502 search results - page 256 / 501 » Using probabilistic model checking in systems biology |
181
Voted
ENTCS
2007
15 years 6 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
170
click to vote
UML
2001
Springer
15 years 11 months ago
2001
Springer
Abstract: A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming ...
156
click to vote
ECLIPSE
2007
ACM
15 years 10 months ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
187
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The development and simulation of dynamic models of terpenoid biosynthesis has yielded a systems perspective that provides new insights into how the structure of this ...
172
click to vote
DATE
2006
IEEE
16 years 20 days ago
2006
IEEE
As devices are scaled to the nanoscale regime, it is clear that future nanodevices will be plagued by higher soft error rates and reduced noise margins. Traditional implementation...