Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Ugo Montanari, Marco Pistore (auth.), Marco Bernardo, Alessandro Bogliolo (eds.)3540256970, 9783540256977

This book presents 8 tutorial survey papers by leading researchers who lectured at the 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2005, held in Bertinoro, Italy in April 2005.

SFM 2005 was devoted to formal methods and tools for the design of mobile systems and mobile communication infrastructures. The 8 lectures are organized into topical sections on models and languages, scalability and performance, dynamic power management, and middleware support.

---

Table of contents :
Front Matter….Pages –
History-Dependent Automata: An Introduction….Pages 1-28
Mobile Distributed Programming in X-Klaim ….Pages 29-68
Dealing with Node Mobility in Ad Hoc Wireless Network….Pages 69-106
Performance Analysis of Mobile Systems….Pages 107-154
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management….Pages 155-189
Dynamic Power Management Strategies Within the IEEE 802.11 Standard….Pages 190-214
Network Swapping….Pages 215-233
Hermes: Agent-Based Middleware for Mobile Computing….Pages 234-270
Back Matter….Pages –