Advances in processor, memory and radio technology will enable small and cheap nodes capable of sensing, communication and computation. Networks of such nodes can coordinate to perform distributed sensing of environmental phenomena. In this paper, we explore the directed diffusion paradigm

This paper presents an overview of two communication paradigms that are well suited as the basis for middleware for mobile computing, namely the event-based communication model and proximity-based group communication

The π-calculus, its asynchronous version and Boudol’s mapping from the former language to the latter one are well-known mathematical objects in theoretical computer science. It is also well-known that the mapping is not fully-abstract w.r.t. most of the semantics defined over these two languages. In this paper we study and fix conditions on the existence of fully-abstract results for Boudol’s mapping (and its variants). The testing theories à la De Nicola-Hennessy turned out to be very useful tools for such a purpose. 1

In response to the proposition that communication lacks disciplinary sta-tus because of deficient core knowledge, I propose that we turn an osten-sible weakness into a strength. We should identify our mission as bring-ing together insights and theories that would otherwise remain scattered in other

Copyright c ○ 2005 by Cambridge University Press. This material is in copyright. Subject to statutory exception and to the provisions of relevant collective licensing agreements, no reproduction of any part may take place without the written permission of Cambridge University

in complex and unpredictable environments such as modern communication networks.

We argue that the random oracle model -- where all parties have access to a public random oracle -- provides a bridge between cryptographic theory and cryptographic practice. In the paradigm we suggest, a practical protocol P is produced by first devising and proving correct a protocol P R

Abstract not found

The design and correctness of a communication facility for a distributed computer system are reported on. The facility provides support for fault-tolerant process groups in the form of a family of reliable multicast protocols that can be used in both local- and wide-area networks. These protocols

Cognitive radio is viewed as a novel approach for improving the utilization of a precious natural resource: the radio electromagnetic spectrum. The cognitive radio, built on a software-defined radio, is defined as an intelligent wireless communication system that is aware of its environment