Sciweavers

203 search results - page 15 / 41
» TCP Extensions for Space Communications
Sort
View
MATA
2005
Springer
155views Communications» more  MATA 2005»
14 years 1 months ago
Web Agent Supporting Transport Layer Mobility
Typical transmission control protocol (TCP) based web agents in mobile wireless environment have several deficiencies, such as performance degradation, head-of-line blocking, and u...
Yong-Jin Lee, Mohammed Atiquzzaman
SIGCOMM
2005
ACM
14 years 2 months ago
Declarative routing: extensible routing with declarative queries
The Internet’s core routing infrastructure, while arguably robust and efficient, has proven to be difficult to evolve to accommodate the needs of new applications. Prior researc...
Boon Thau Loo, Joseph M. Hellerstein, Ion Stoica, ...
ENTCS
2008
120views more  ENTCS 2008»
13 years 8 months ago
Separation Logic Semantics for Communicating Processes
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
Tony Hoare, Peter W. O'Hearn
JVCA
2006
63views more  JVCA 2006»
13 years 8 months ago
Temporal alignment of communicative gesture sequences
In this paper we address the problem of temporal alignment applied to captured communicative gestures conveying different styles. We propose a representation space that may be con...
Alexis Heloir, Nicolas Courty, Sylvie Gibet, Franc...
SIGCOMM
2009
ACM
14 years 3 months ago
White space networking with wi-fi like connectivity
Networking over UHF white spaces is fundamentally different from conventional Wi-Fi along three axes: spatial variation, temporal variation, and fragmentation of the UHF spectrum....
Paramvir Bahl, Ranveer Chandra, Thomas Moscibroda,...