237 search results - page 17 / 48 » Toward Verified Biological Models |
85
Voted
WORDS
2005
IEEE
15 years 3 months ago
2005
IEEE
Reliable program Worst-Case Execution Time (WCET) estimates are a key component when designing and verifying real-time systems. One way to derive such estimates is by static WCET ...
MKWI
2008
14 years 11 months ago
2008
: The advent of regulatory compliance requirements such as Sarbanes Oxley Act has forced enterprises to set up a process for managing an effective internal controls system on busin...
BIBE
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract-MCell is a Monte Carlo simulator of cell microphysiology, and the scalable variant can be used to study challenging problems of interest to the biological community. MCell...
P2P
2005
IEEE
15 years 3 months ago
2005
IEEE
Simultaneous overlay networks compete for network resources and disrupt each other. If they cooperate with each other, the collective performance can be improved and they can coex...
EH
2002
IEEE
15 years 2 months ago
2002
IEEE
Mapping between genotype and phenotype using a model of biological development has been widely touted as a technique for evolving solutions to large, complex problems [1-3]. Here ...