Résumé
Ingénierie des protocoles et QdS présente des techniques de
spécification formelle permettant l'expression des
contraintes de QdS. Les auteurs présentent des techniques
ou des langages permettant de décrire des protocoles et des
services de manière précise et non ambiguë et montrent
comment décrire des contraintes de QdS en utilisant ces
langages, à travers la présentation des mécanismes qu'ils
offrent et d'exemples d'applications. Ils couvrent
différentes techniques de description formelle et
différents aspects de la QdS, par exemple les exigences
temporelles de celle-ci, ses mécanismes de support dans
l'internet, la QdS et les normes, l'évaluation et la
modélisation des performances,...
Sommaire
Introduction
Chapitre 1. Automates temporisés et expression de la QdS
Chapitre 2. Les normes pour la qualité de service
Chapitre 3. Spécification formelle pour la QdS dans l'internet
Chapitre 4. L'évaluation de performances avec Estelle
Chapitre 5. La notation ASN.1
Chapitre 6. Introduction à E-LOTOS
Bibliographie
Index
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Hermès - Lavoisier |
| Auteur(s) | Ana Cavalli |
| Parution | 12/10/2001 |
| Nb. de pages | 262 |
| Format | 16 x 24 |
| Couverture | Relié |
| Poids | 567g |
| Intérieur | Noir et Blanc |
| EAN13 | 9782746203150 |
| ISBN13 | 978-2-7462-0315-0 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
