Formal Methods for Mobile Computing [electronic resource] : 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.
Contributor(s): Bernardo, Marco [editor.]
| Bogliolo, Alessandro [editor.] | SpringerLink (Online service).
Material type: 
BookSeries: Programming and Software Engineering: 3465Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005Edition: 1st ed. 2005.Description: VIII, 272 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540320210.Subject(s): Computer networks | Software engineering | Compilers (Computer programs) | Computer science | Computers, Special purpose | Computer Communication Networks | Software Engineering | Compilers and Interpreters | Computer Science Logic and Foundations of Programming | Special Purpose and Application-Based SystemsAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 004.6 Online resources: Click here to access online
Contents:
In:
Springer Nature eBook
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.
No physical items for this record
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.
There are no comments for this item.