SFM 2005: Bertinoro, Italy

Marco Bernardo, Alessandro Bogliolo (Eds.): 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. Lecture Notes in Computer Science 3465 Springer 2005, ISBN 3-540-25697-0 BibTeX

Models and Languages

Ugo Montanari, Marco Pistore:
History-Dependent Automata: An Introduction. 1-28
Electronic Edition (link) BibTeX
Lorenzo Bettini, Rocco De Nicola:
Mobile Distributed Programming in X-Klaim. 29-68
Electronic Edition (link) BibTeX

Scalability and Performance

Mario Gerla, Ling-Jyh Chen, Yeng-Zhong Lee, Biao Zhou, Jiwei Chen, Guang Yang, Shirshanka Das:
Dealing with Node Mobility in Ad Hoc Wireless Network. 69-106
Electronic Edition (link) BibTeX
Vincenzo Grassi:
Performance Analysis of Mobile Systems. 107-154
Electronic Edition (link) BibTeX

Dynamic Power Management

Andrea Acquaviva, Alessandro Aldini, Marco Bernardo, Alessandro Bogliolo, Edoardo Bontà, Emanuele Lattanzi:
A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management. 155-189
Electronic Edition (link) BibTeX
Andrea Acquaviva, Edoardo Bontà, Emanuele Lattanzi:
Dynamic Power Management Strategies Within the IEEE 802.11 Standard. 190-214
Electronic Edition (link) BibTeX

Middleware Support

Emanuele Lattanzi, Andrea Acquaviva, Alessandro Bogliolo:
Network Swapping. 215-233
Electronic Edition (link) BibTeX
Flavio Corradini, Emanuela Merelli:
Hermes: Agent-Based Middleware for Mobile Computing. 234-270
Electronic Edition (link) BibTeX