×
![]( "Buchcover ISBN 9783540320210")
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
herausgegeben von Marco Bernardo und Alessandro BoglioloInhaltsverzeichnis
- Models and Languages.
- History-Dependent Automata: An Introduction.
- Mobile Distributed Programming in X-Klaim.
- Scalability and Performance.
- Dealing with Node Mobility in Ad Hoc Wireless Network.
- Performance Analysis of Mobile Systems.
- Dynamic Power Management.
- A Methodology Based on Formal Methods for Predicting the Impact of Dynamic Power Management.
- Dynamic Power Management Strategies Within the IEEE 802.11 Standard.
- Middleware Support.
- Network Swapping.
- Hermes: Agent-Based Middleware for Mobile Computing.
