Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . Lectures (Lecture Notes in Computer Science)

Marco Bernardo, Alessandro Bogliolo

ISBN 10: 3540256970 / ISBN 13: 9783540256977

Editore: Springer 2008-06-13, 2008

Riguardo questo articolo

Codice articolo 6666-IUK-9783540256977

Dati bibliografici

• Titolo: Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, . Lectures (Lecture Notes in Computer Science)
• Editore: Springer 2008-06-13
• Data di pubblicazione: 2008
• Lingua: Inglese
• ISBN 10: 3540256970
• ISBN 13: 9783540256977
• Rilegatura: Paperback
• Condizione: New

Descrizione articolo

Riassunto

?rst-class data with coordination primitives.

Contenuti

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.