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 .
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.
9783540320210
10.1007/b135888 doi
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 Systems.
TK5105.5-5105.9
004.6
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.
9783540320210
10.1007/b135888 doi
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 Systems.
TK5105.5-5105.9
004.6