Titre : |
Ingénierie Des Protocoles Et Qualité De Service |
Type de document : |
texte imprimé |
Auteurs : |
Ana Cavalli, Auteur |
Editeur : |
Paris : Lavoisier |
Année de publication : |
2001 |
Collection : |
Réseaux et télécommunications |
Importance : |
259p. |
Présentation : |
couv.ill.fig.tab.ind. |
Format : |
24×16cm. |
ISBN/ISSN/EAN : |
978-2-7462-0315-0 |
Langues : |
Français (fre) |
Index. décimale : |
384 Communications. Télécommunications |
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,...
|
Note de contenu : |
"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
"
|
Ingénierie Des Protocoles Et Qualité De Service [texte imprimé] / Ana Cavalli, Auteur . - Paris : Lavoisier, 2001 . - 259p. : couv.ill.fig.tab.ind. ; 24×16cm.. - ( Réseaux et télécommunications) . ISBN : 978-2-7462-0315-0 Langues : Français ( fre)
Index. décimale : |
384 Communications. Télécommunications |
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,...
|
Note de contenu : |
"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
"
|
| |