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
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
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
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Edizione: | 1st ed. 2005. |
| Descrizione fisica: | 1 online resource (VIII, 272 p.) |
| Disciplina: | 005.13/1 |
| Soggetto topico: | Computer communication systems |
| Software engineering | |
| Programming languages (Electronic computers) | |
| Computer logic | |
| Special purpose computers | |
| Computer Communication Networks | |
| Software Engineering | |
| Programming Languages, Compilers, Interpreters | |
| Logics and Meanings of Programs | |
| Special Purpose and Application-Based Systems | |
| Persona (resp. second.): | BernardoMarco |
| BoglioloAlessandro | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | 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. |
| Titolo autorizzato: | Formal Methods for Mobile Computing |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996465803903316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Programming and Software Engineering ; ; 3465