7300 search results - page 417 / 1460 » Multi-modal network protocols |
192
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
225
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Models for the simulation of metabolic networks require the accurate prediction of enzyme function. Based on a genomic sequence, enzymatic functions of gene products a...
236
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Relay-assisted cooperative wireless communication has been shown to have significant performance gains over the legacy direct transmission scheme. Compared with single relay base...
192
click to vote
SIGCOMM
2000
ACM
15 years 11 months ago
2000
ACM
Current routing protocols are monolithic, specifying the algorithm used to construct forwarding tables, the metric used by the algorithm (generally some form of hop-count), and th...
191
click to vote
ICNP
2007
IEEE
16 years 1 months ago
2007
IEEE
— P2P streaming tries to achieve scalability (like P2P file distribution) and at the same time meet real-time playback requirements. It is a challenging problem still not well u...