Bogliolo / Bernardo | Formal Methods for Mobile Computing | Buch | 978-3-540-25697-7 | sack.de

Buch, Englisch, 272 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 435 g

Reihe: Programming and Software Engineering

Bogliolo / Bernardo

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

Buch, Englisch, 272 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 435 g

Reihe: Programming and Software Engineering

ISBN: 978-3-540-25697-7
Verlag: Springer Berlin Heidelberg

?rst-class data with coordination primitives.
Bogliolo / Bernardo Formal Methods for Mobile Computing jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Bogliolo, Alessandro
Bernardo, Marco

Fachgebiete

Weitere Infos & Material

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.

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.