4305 search results - page 459 / 861 » Analysing Protocol Implementations |
165
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—A sudden delay spike or reordering in the network can cause TCP to experience a loss event. Since loss is interpreted as a sign of congestion in TCP, this causes the protocol to...
167
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— Novel tools are needed to deploy multi-agent networks in applications that require a high degree of accuracy in the achievement and maintenance of geometric formations. This is...
173
click to vote
SEUS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract. We consider the problem of programming distributed embedded real-time systems with distributed dependencies. We show that the de facto standard of using locks and conditi...
184
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—We propose a distributed scheduling and active queue management mechanism for wireless ad hoc networks. The approach is based on a random access scheduler where the transmission...
200
click to vote
ESORICS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...