352 search results - page 67 / 71 » Proof-Checking a Data Link Protocol |
117
click to vote
BMCBI
2004
14 years 11 months ago
2004
Background: DopaNet http://www.dopanet.org is a Systems Biology initiative that aims to investigate precisely and quantitatively all the aspects of neurotransmission in a specific...
ICNP
2007
IEEE
15 years 6 months ago
2007
IEEE
— Congestion caused by a large number of interacting TCP flows at a bottleneck network link is different from that caused by a lesser number of flows sending large amounts of d...
TSP
2008
14 years 11 months ago
2008
A cross-layered slotted ALOHA protocol is proposed and analyzed for distributed estimation in sensor networks. Suppose that the sensors in the network record local measurements of ...
102
click to vote
WINET
2010
14 years 10 months ago
2010
Abstract Algorithms for scheduling TDMA transmissions in multi-hop networks usually determine the smallest length conflict-free assignment of slots in which each link or node is a...
101
click to vote
MOBIHOC
2005
ACM
15 years 11 months ago
2005
ACM
In this paper, we introduce a novel congestion control algorithm for TCP over multihop IEEE 802.11 wireless networks implementing rate-based scheduling of transmissions within the...