E Book

Formal Methods for Mobile Computing

---

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.

---

Ketersediaan

Tidak ada salinan data

Informasi Detail

Judul Seri

-

No. Panggil

-

Penerbit

: .,

Deskripsi Fisik

VIII, 272 p.online resource.

Bahasa

English

ISBN/ISSN

9783540320210

Klasifikasi

004.6

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

1st ed. 2005.

Subjek

Computer communication systems.
Computer Communication Networks.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Software engineering.
Special purpose computers.
Special Purpose and Application-Based Systems.
Computer logic.
Logics and Meanings of Programs.

Info Detail Spesifik

-

Pernyataan Tanggungjawab

edited by Marco Bernardo, Alessandro Bogliolo.

Versi lain/terkait

Lampiran Berkas

Komentar

---

Anda harus masuk sebelum memberikan komentar