1362 search results - page 207 / 273 » Model Checking Large Network Protocol Implementations |
142
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: The simulation of metabolic networks in quantitative systems biology requires the assignment of enzymatic kinetic parameters. Experimentally determined values are ofte...
115
click to vote
IJWMC
2010
15 years 8 days ago
2010
The past few years have seen a burst in public interest and widespread use of portable electronic devices featuring both mature and emerging technologies for wireless communication...
141
click to vote
BMCBI
2011
14 years 10 months ago
2011
Background: DNA methylation has been shown to play an important role in the silencing of tumor suppressor genes in various tumor types. In order to have a system-wide understandin...
132
click to vote
EUROCRYPT
2008
Springer
15 years 4 months ago
2008
Springer
Secure multi-party computation (MPC) is a central problem in cryptography. Unfortunately, it is well known that MPC is possible if and only if the underlying communication network...
144
click to vote
CCR
2004
15 years 2 months ago
2004
Useful measurement data is badly needed to help monitor and control large networks. Current approaches to solving measurement problems often assume minimal support from routers and...