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

Başlık:

ISBN:

9783540320210

Edition:

1st ed. 2005.

Yayın Bilgileri:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.

Fiziksel Tanımlama:

VIII, 272 p. online resource.

Series:

Programming and Software Engineering, 3465

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.

Subject Term:

Computer networks .

Software engineering.

Compilers (Computer programs).

Computer science.

Computers, Special purpose.

Computer Communication Networks.

Compilers and Interpreters.

Computer Science Logic and Foundations of Programming.

Special Purpose and Application-Based Systems.

Added Author:

Bernardo, Marco.