Formal methods for mobile computing

InhaltsverzeichnisModels 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.