177 search results - page 2 / 36 » Reasoning About Active Network Protocols |
81
Voted
FSTTCS
2005
Springer
15 years 3 months ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
IWCMC
2006
ACM
15 years 3 months ago
2006
ACM
Past research studying the operations of TCP over wireless/mobile ad hoc networks has shown that TCP cannot be adopted as-is for use in mobile ad hoc networks (MANET) to achieve r...
95
Voted
PERCOM
2006
ACM
15 years 9 months ago
2006
ACM
We propose several localized sensor area coverage protocols, for arbitrary ratio of sensing and transmission radii. Sensors are assumed to be time synchronized, and active sensors...
87
Voted
CCR
2011
14 years 4 months ago
2011
HTTP (Hypertext Transport Protocol) was originally primarily used for human-initiated client-server communications launched from web browsers, traditional computers and laptops. H...
94
Voted
MONET
2007
14 years 9 months ago
2007
— This paper proposes a service discovery protocol for sensor networks that is specifically tailored for use in humancentered pervasive environments. It uses the high-level conc...