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.
Material type:
TextSeries: Lecture Notes in Computer Science ; 3465Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2005Description: VIII, 272 p. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783540320210Subject(s): Computer science | Computer Communication Networks | Software engineering | Logic design | Computer Science | Software Engineering | Programming Languages, Compilers, Interpreters | Logics and Meanings of Programs | Special Purpose and Application-Based Systems | Computer Communication NetworksAdditional physical formats: Printed edition:: No titleDDC classification: 005.1 LOC classification: QA76.758Online resources: Click here to access online
Contents:
In:
Springer eBooks
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.
E-BOOKS
| Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | Link to resource | Available | EBK3797 |
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.
There are no comments on this title.