Franklin

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.

Edition:
1st ed. 2005.
Publication:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.
Series:
Computer Science (Springer-11645)
LNCS sublibrary. Programming and software engineering SL 2, 3465
Programming and Software Engineering ; 3465
Format/Description:
Book
1 online resource (VIII, 272 pages)
Subjects:
Computer networks.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Computers, Special purpose.
Local subjects:
Computer Communication Networks. (search)
Software Engineering. (search)
Programming Languages, Compilers, Interpreters. (search)
Logics and Meanings of Programs. (search)
Special Purpose and Application-Based Systems. (search)
System Details:
text file PDF
Contents:
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.
Contributor:
Bernardo, Marco, editor., Editor,
Bogliolo, Alessandro, editor., Editor,
SpringerLink (Online service)
Contained In:
Springer eBooks
Other format:
Printed edition:
Printed edition:
ISBN:
978-3-540-32021-0
9783540320210
Publisher Number:
10.1007/b135888 doi
Access Restriction:
Restricted for use by site license.
Loading...
Location Notes Your Loan Policy
Description Status Barcode Your Loan Policy