1362 search results - page 136 / 273 » Model Checking Large Network Protocol Implementations |
184
Voted
BMCBI
2011
14 years 7 months ago
2011
Background: Constraint-based approaches facilitate the prediction of cellular metabolic capabilities, based, in turn on predictions of the repertoire of enzymes encoded in the gen...
102
Voted
CN
2000
15 years 3 months ago
2000
This paper describes an experimental system for classroom-based tele-education based on IP multicast. It gives an overview of the system and describes how the system is designed t...
161
click to vote
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
— Scalable and efficient routing is a main challenge in the deployment of large ad hoc wireless networks. An essential element of practical routing protocols is their accommodat...
127
Voted
ADC
2004
Springer
15 years 7 months ago
2004
Springer
Current collaborative work environments are characterized by dynamically changing organizational structures. Although there have been several efforts to refine work distribution, ...
144
click to vote
SIGCOMM
2005
ACM
15 years 9 months ago
2005
ACM
This paper describes ExOR, an integrated routing and MAC protocol that increases the throughput of large unicast transfers in multi-hop wireless networks. ExOR chooses each hop of...