187 search results - page 37 / 38 » Combining simulation and formal methods for system-level per... |
WABI
2009
Springer
14 years 11 days ago
2009
Springer
Background: This paper considers the problem of identifying pathways through metabolic networks that relate to a specific biological response. Our proposed model, HME3M, first ide...
BMCBI
2008
13 years 5 months ago
2008
Background: The power of haplotype-based methods for association studies, identification of regions under selection, and ancestral inference, is well-established for diploid organ...
INFOCOM
2007
IEEE
14 years 3 days ago
2007
IEEE
—Due to the open nature of a sensor network, it is relatively easy for an adversary to eavesdrop and trace packet movement in the network in order to capture the receiver physica...
KES
1999
Springer
13 years 10 months ago
1999
Springer
Abstract—Dynamic Demes is a new method for the parallelisation of evolutionary algorithms. It was derived as a combination of two other parallelisation algorithms: the master-sla...
MOBIHOC
2008
ACM
14 years 5 months ago
2008
ACM
It was shown recently [7?9], under quite general conditions, that retransmission-based protocols may result in power-law delays and possibly zero throughput even if the distributi...