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 / edited by Marco Bernardo, Alessandro Bogliolo.

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Bernardo, Marco (Editor), Bogliolo, Alessandro (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Edition:	1st ed. 2005.
Series:	Programming and Software Engineering ; 3465 Springer eBook Collection.
Subjects:	Computer communication systems. Software engineering. Programming languages (Electronic computers). Computer logic. Special purpose computers. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

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.

Similar Items