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.
Tipo de material: TextoSeries Lecture Notes in Computer Science ; 3465 | Lecture Notes in Computer Science ; 3465Editor: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Descripción: VIII, 272 p. online resourceTipo de contenido:- text
- computer
- online resource
- 9783540320210
- SpringerLink (Online service)
- 005.1 23
- QA76.758
Contenidos:
Springer eBooks
No hay ítems correspondientes a este registro
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.
ZDB-2-SCS
ZDB-2-LNC
No hay comentarios en este titulo.
Ingresar a su cuenta para colocar un comentario.