Sciweavers

1498 search results - page 234 / 300
» A Process Calculus for Mobile Ad Hoc Networks
Sort
View

Lecture Notes
456views
15 years 6 months ago
Wireless and Mobile Networking
The lecture notes cover the following topics, CSE 574S Wireless and Mobile Networking: Course Overview, Wireless Networking Trends, A Review of Key Wireless Physical Layer Co...
Raj Jain
IFM
2010
Springer
113views Formal Methods» more  IFM 2010»
13 years 6 months ago
Translating Pi-Calculus into LOTOS NT
Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processe...
Radu Mateescu, Gwen Salaün
IWEC
2004
13 years 9 months ago
Sound Pryer: Adding Value to Traffic Encounters with Streaming Audio
We present a novel in-car entertainment application that is inspired by listening to music and the social interaction of manoeuvring in traffic. The Sound Pryer is a peer-to-peer a...
Mattias Östergren
ICDIM
2007
IEEE
14 years 2 months ago
Fast encounter-based synchronization for mobile devices
The large and growing number of computing devices used by individuals has caused the challenges of distributed storage to take on increased importance. In addition to desktops and...
Daniel Peek, Douglas B. Terry, Venugopalan Ramasub...
ADHOC
2007
110views more  ADHOC 2007»
13 years 8 months ago
Hop count based optimization of Bluetooth scatternets
In the past five years Bluetooth scatternets were one of the most promising wireless networking technologies for ad hoc networking. In such networks, mobility together with the f...
Csaba Kiss Kallo, Carla-Fabiana Chiasserini, Sewoo...