•  Retrait en 2 heures
  •  Assortiment impressionnant
  •  Paiement sécurisé
  •  Toujours un magasin près de chez vous
  •  Retrait gratuit dans votre magasin Club
  •  7.000.0000 titres dans notre catalogue
  •  Payer en toute sécurité
  •  Toujours un magasin près de chez vous

Modellierung Verteilter Systeme

Konzeption, Formale Spezifikation Und Verifikation Mit Produktnetzen

Peter Ochsenschläger
Livre broché | Allemand | Programm Angewandte Informatik
59,39 €
+ 118 points
Livraison 1 à 2 semaines
Passer une commande en un clic
Payer en toute sécurité
Livraison en Belgique: 3,99 €
Livraison en magasin gratuite

Description

Hinter dem Begriff "Verteilte Systeme" verbergen sich heutzutage so unterschiedliche Konzepte wie Parallelrechner, Rechnernetze, Telekooperation und Multimediaanwendungen. Hauptanwen- dungsfeld in diesem Buch ist die Telekooperation. Der Begriff" Verteiltes System", so wie er in diesem Buch verwendet wird, läßt sich informell - und in der Sprechweise der Tele- kooperation -charakterisieren durch: - Kooperationspartner (Menschen und/oder Maschinen, allgemein autonome Systeme genannt), - Kooperationsziele, deren Erreichen gemeinsames Handeln der beteiligten Kooperationspartner erfordert (beispielsweise Abschluß eines Vertrags, Erarbeitung einer Spezifikation für ein technisches System, Fernwartung eines Systems, ... ) und - Komm unika tionsmedien, die Kooperationspartner miteinander verbinden (z. B. zum Transport von Sprach-, Bild-, oder Text- information). Der Transport von Information aus Sicht eines Kommunikations- mediums ist gekennzeichnet durch die Funktionen Senden, Über- tragen, Vermitteln und Empfangen. Aus Sicht der Kooperations- partner sind die Produktion der zu sendenden und die Konsumtion der empfangenen Information wichtige Begriffe. Kommunikationsmedien erbringen Kommunikationsdienst- leistungen, die von den Kooperationspartnern in Anspruch genommen werden können. Zu den Eigenschaften verteilter Systeme gehören - Unsicherheit eines autonomen Systems über den Zustand der anderen an der Kooperation beteiligten autonomen Systeme, - Nebenläufigkeit und Nichtdeterminismus der Aktionen der autonomen Systeme als Ausflug ihrer Unabhängigkeit, 2 1 Einleitun[!, - Synchronisation ihrer Aktionen als Anforderung aus dem festgelegten Kooperationsziel, - aufeinander abgestimmte Betriebsmittelverwaltung (z. B. Puffer- verwaltung von Sender und Empfänger), - aufeinander abgestimmte Mechanismen zur Fehlererkennung und Fehlerbehebung, u. s. w.

Spécifications

Parties prenantes

Auteur(s) :
Editeur:

Contenu

Nombre de pages :
280
Langue:
Allemand
Collection :

Caractéristiques

EAN:
9783528054335
Date de parution :
01-01-95
Format:
Livre broché
Format numérique:
Trade paperback (VS)
Dimensions :
148 mm x 210 mm
Poids :
353 g
Librairie Club

Seulement chez Librairie Club

+ 118 points sur votre carte client de Librairie Club
CADEAU

Ticket de cinéma offert

à l'achat d'un Bongo à partir de 39 €
CADEAU
Ticket de cinéma offert
CONCOURS

Uniquement dans nos magasins : gagnez un voyage à Prague

à l'achat du nouveau Dan Brown
CONCOURS
Gagnez un voyage à Prague
RÉDUCTION

50% de réduction

sur une sélection de papeterie
RÉDUCTION
50% de réduction sur une sélection de papeterie
Standaard Boekhandel

Les avis

Nous publions uniquement les avis qui respectent les conditions requises. Consultez nos conditions pour les avis.