Marco Bernardo,
Alessandro Bogliolo
Formal Methods for Mobile Computing
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
Paperback Engels 2005 9783540256977Levertijd ongeveer 9 werkdagen
Gratis verzonden
Samenvatting
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.
Specificaties
ISBN13:9783540256977
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:272
Uitgever:Springer Berlin Heidelberg
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
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.
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan