Formal Methods for Mobile Computing

E-Book (pdf)

(0)

Erste Bewertung abgeben

Inhalt Models and Languages.- History-Dependent Automata: An Introduction.- Mobile Distributed Programming in X-Klaim.- Scalabilit...

CHF59.00

Download steht sofort bereit

E-Book (pdf)

Beschreibung

Inhalt

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.

Produktinformationen

Titel:

Formal Methods for Mobile Computing

Untertitel:

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

Editor:

Marco Bernardo

Alessandro Bogliolo

EAN:

9783540320210

Format:

E-Book (pdf)

Hersteller:

Springer Berlin Heidelberg

Genre:

Hardware

Veröffentlichung: