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 /  [electronic resource] : 
edited by Marco Bernardo, Alessandro Bogliolo. 
 - 1st ed. 2005. 
 - VIII, 272 p.  online resource. 
 - Programming and Software Engineering,  3465  2945-9168 ; .
 - Programming and Software Engineering,  3465 .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783540320210 
<br/><br/><label>Standard No.: </label>10.1007/b135888  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer networks .<br/>Software engineering.<br/>Compilers (Computer programs).<br/>Computer science.<br/>Computers, Special purpose.<br/>Computer Communication Networks.<br/>Software Engineering.<br/>Compilers and Interpreters.<br/>Computer Science Logic and Foundations of Programming.<br/>Special Purpose and Application-Based Systems.
<br/><br/><label>LC Class. No.: </label>TK5105.5-5105.9 
<br/><br/><label>Dewey Class. No.: </label>004.6