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

Models and Languages

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

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
Vincenzo Grassi:
Performance Analysis of Mobile Systems. 107-154

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
Andrea Acquaviva, Edoardo Bontà, Emanuele Lattanzi:
Dynamic Power Management Strategies Within the IEEE 802.11 Standard. 190-214

Middleware Support

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

Last update Fri May 25 08:36:53 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page