Items related to Modellierung verteilter Systeme: Konzeption, Formale...
Modellierung verteilter Systeme: Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen (Programm Angewandte Informatik) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Search results for Modellierung verteilter Systeme: Konzeption, Formale...
Stock Image
Modellierung verteilter Systeme (Programm Angewandte Informatik)
Published by
Vieweg+Teubner Verlag 1995-01-01, 1995
ISBN 10: 3528054336
ISBN 13: 9783528054335
New
Paperback
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783528054335
Buy New
£ 47.77
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Stock Image
Modellierung verteilter Systeme: Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen (Programm Angewandte Informatik) (German Edition)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In English. Seller Inventory # ria9783528054335_new
Buy New
£ 55.95
£ 9.37 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Modellierung verteilter Systeme : Konzeption, formale Spezifikation und Verifikation mit Produktnetzen / Peter Ochsenschläger ; Rainer Prinoth. Mit einem Geleitw. von Eckart Raubold
Published by
Braunschweig ; Wiesbaden : Vieweg, 1995
ISBN 10: 3528054336
ISBN 13: 9783528054335
Used
Hardcover
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
Hardcover. VIII, 280 S. : graph. Darst. ; 21 cm Ungelesenes Buch im neuwertigen Zustand! 9783528054335 Sprache: Deutsch Gewicht in Gramm: 458 Softcover reprint of the original 1st ed. 1995. Seller Inventory # 200672
Seller Image
Modellierung verteilter Systeme
Print on DemandSeller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Buch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 280 pp. Deutsch. Seller Inventory # 9783528054335
Stock Image
Modellierung verteilter Systeme
Published by
Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH, 1995
ISBN 10: 3528054336
ISBN 13: 9783528054335
New
Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 294. Seller Inventory # 26128020439
Stock Image
Modellierung verteilter Systeme
Published by
Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH, 1995
ISBN 10: 3528054336
ISBN 13: 9783528054335
New
Softcover
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 294 25:B&W 5.83 x 8.27 in or 210 x 148 mm (A5) Perfect Bound on White w/Gloss Lam. Seller Inventory # 131518472
Buy New
£ 70.10
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Modellierung verteilter Systeme
Published by
Vieweg Verlag, Friedr, & Sohn Verlagsgesellschaft mbH, 1995
ISBN 10: 3528054336
ISBN 13: 9783528054335
New
Softcover
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 294. Seller Inventory # 18128020445
Stock Image
Modellierung verteilter Systeme: Konzeption, Formale Spezifikation und Verifikation mit Produktnetzen (Programm Angewandte Informatik)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. reprint edition. 288 pages. German language. 8.26x5.82x0.66 inches. In Stock. Seller Inventory # x-3528054336
Buy New
£ 71.93
£ 10 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available
Seller Image
Modellierung verteilter Systeme
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 1 Einleitung.- 2 Unbeschriftete Netze.- 2.1 Netze ohne Verbots- und Abraeumkanten.- 2.2 Netze mit Verbotskanten.- 2.3 Netze mit Abraeumkanten.- 2.4 Graphische Darstellung von Netzen.- 2.5 Erreichbarkeitsgraphen.- 2.6 Netzstrukturen.- 3 Ein Modell zur Flusskont. Seller Inventory # 4866731
Buy New
£ 48.59
£ 42.03 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Seller Image
Modellierung verteilter Systeme
Published by
Vieweg+Teubner Verlag, Vieweg+Teubner Verlag Jan 1995, 1995
ISBN 10: 3528054336
ISBN 13: 9783528054335
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -1 Einleitung.- 2 Unbeschriftete Netze.- 2.1 Netze ohne Verbots- und Abräumkanten.- 2.2 Netze mit Verbotskanten.- 2.3 Netze mit Abräumkanten.- 2.4 Graphische Darstellung von Netzen.- 2.5 Erreichbarkeitsgraphen.- 2.6 Netzstrukturen.- 3 Ein Modell zur Flußkontrolle.- 4 Auf- und Abbau von Verbindungen.- 4.1 Protokollstrukturen.- 4.2 Kompositon des Protokolls aus Teilstrukturen.- 4.3 Analyse des Protokolls.- 4.4 Anbindung der Kooperationspartner an die Protokollinstanzen.- 4.5 Kommunikation zwischen Dienstbenutzer und Diensterbringer.- 5 Produktnetze.- 5.1 Beispiel.- 5.2 Mengen und Funktionen.- 5.3 Markierungen.- 5.4 Beschriftung.- 5.5 Interpretationen.- 5.6 Schaltbedingung.- 5.7 Schaltregel.- 6 Beispiele.- 7 Ausdrucksstärke der Produktnetze.- 8 Das Alternating Bit Protokoll.- 8.1 Zu erbringender Dienst.- 8.2 Benutzter Dienst.- 8.3 Definition des Protokolls.- 9 Das ISDN-D-Kanalprotokoll.- 9.1 Lage des ISDN-D-Kanalprotokolls.- 9.2 Elemente des ISDN-D-Kanalprotokolls.- 9.3 Ein Produktnetzmodell.- 9.4 Anmerkungen zur Analyse.- 10 Zählermodell und Synchronisation.- 10.1 Formalisierung der Aufgabe.- 10.2 Endekriterien und Anmerkungen zur Analyse.- 10.3 Modifikation des Modells.- 10.4 Das unterlagerte Kommunikationsmedium.- 10.5 Spezifikation der Protokollinstanzen.- 11 Schaltfolgenhomomorphismen.- 12 Reduzierte Erreichbarkeitsgraphen.- 13 Deadlocksprachen.- 14 Die Produktnetzmaschine.- 15 Schlichte Homomorphismen.- Sachwortverzeichnis.Vieweg+Teubner Verlag, Abraham-Lincoln-Straße 46, 65189 Wiesbaden 292 pp. Deutsch. Seller Inventory # 9783528054335