Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Bernardo, Marco  Voir les notices liées en tant qu'auteur

Titre(s) : Formal Methods for Mobile Computing [Texte électronique] : 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

Titre d'ensemble : Formal methods for mobile computing

Publication : Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2005

Description matérielle : 1 ressource dématérialisée

Collection : Lecture notes in computer science ; 3465
Tutorial

Note(s) : Computer Science (Springer-11645)

Autre(s) auteur(s) : Bogliolo, Alessandro. Fonction indéterminée  Voir les notices liées en tant qu'auteur

Sujet(s) : Génie logiciel  Voir les notices liées en tant que sujet
Informatique  Voir les notices liées en tant que sujet
Méthodes formelles (informatique)  Voir les notices liées en tant que sujet
Langages de programmation  Voir les notices liées en tant que sujet
Réseaux d'ordinateurs  Voir les notices liées en tant que sujet
Logiciels  Voir les notices liées en tant que sujet
Informatique mobile  Voir les notices liées en tant que sujet

Indice(s) Dewey :  004 (23e éd.) = Informatique  Voir les notices liées en tant que sujet ; 005.1 (23e éd.) = Développement de logiciels  Voir les notices liées en tant que sujet ; 004.165 (23e éd.) = Ordinateurs personnels particuliers  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 9783540320210

Identifiant de la notice  : ark:/12148/cb446859759

Notice n° :  FRBNF44685975 (notice reprise d'un réservoir extérieur)

Table des matières : 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.