Formal Methods for Mobile Computing
% SALE
Formal Methods for Mobile Computing
% SALE
% SALE
Description
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.
Product details
- Type:
- Book
- Binding:
- Paperback
- Edition:
- 1
- Languages:
-
Original:
English
- Number of Pages:
-
284
- Publisher:
-
Springer
- Publication Date:
-
2005-04-13
- ISBN / EAN:
-
9783540256977
- Weight:
-
435 g
- Dimensions:
-
16/24/2 cm
- GPSR Manufacturer Reference:
-
[email protected]
Die gelieferte Auflage kann ggf. abweichen.
Currently sold out
Back in stock email
Add to Wishlist
