
BEISPIEL
Röhs, Malte:Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking - Grundlagen, Konzepte, Implementierung
- Taschenbuch 2010, ISBN: 9783639279054
[ED: Taschenbuch / Paperback], [PU: VDM Verlag Dr. Müller], Die vom Menschen entwickelten Systeme werden immer komplexer und die an sie gestellten Anforderungen immer größer. Um diesen ge… Mehr…
[ED: Taschenbuch / Paperback], [PU: VDM Verlag Dr. Müller], Die vom Menschen entwickelten Systeme werden immer komplexer und die an sie gestellten Anforderungen immer größer. Um diesen gerecht zu werden, handelt es sich häufig um adaptive Systeme, also Systeme, die dynamisch ihre innere Konfiguration zur Laufzeit anpassen und verändern. Für diese zielorientierte Veränderung bedarf es eines Plans, der regelt, welche Aktionen in welcher Reihenfolge ausgeführt werden müssen, um eine gewünschte Zielkonfiguration zu erreichen. Für sicheres Planen, können hierbei im Vorhinein einzelne Systemzustände oder ganze Muster von Systemzuständen als verbotene Zustände deklariert werden. Beim Planen muss nun berücksichtigt werden, dass auf dem Weg zur Zielkonfiguration keine verbotenen Zustände eingenommen werden. In dieser Arbeit wird der Plan nicht mit klassischen Planungsalgorithmen gesucht, sondern mit Hilfe von Model Checking. Dies geschieht, indem man die Existenzbehauptung des Plans negiert und diese Aussage vom Model Checker verifizieren lässt. Ist die Aussage falsch, so liefert der Model Checker ein Gegenbeispiel und damit den gesuchten Plan. Im anderen Fall bestätigt er die Aussage und es gibt somit keinen Plan, der vom Start zum Ziel führt., DE, [SC: 0.00], Neuware, gewerbliches Angebot, 220 mm, 124, Selbstabholung und Barzahlung, PayPal, offene Rechnung, Banküberweisung, Internationaler Versand<
| | booklooker.deSyndikat Buchdienst Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Röhs, Malte:Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking
- Taschenbuch 2010, ISBN: 9783639279054
[ED: Softcover], [PU: VDM Verlag Dr. Müller], Die vom Menschen entwickelten Systeme werden immer komplexer und die an sie gestellten Anforderungen immer größer. Um diesen gerecht zu werde… Mehr…
[ED: Softcover], [PU: VDM Verlag Dr. Müller], Die vom Menschen entwickelten Systeme werden immer komplexer und die an sie gestellten Anforderungen immer größer. Um diesen gerecht zu werden, handelt es sich häufig um adaptive Systeme, also Systeme, die dynamisch ihre innere Konfiguration zur Laufzeit anpassen und verändern. Für diese zielorientierte Veränderung bedarf es eines Plans, der regelt, welche Aktionen in welcher Reihenfolge ausgeführt werden müssen, um eine gewünschte Zielkonfiguration zu erreichen. Für sicheres Planen, können hierbei im Vorhinein einzelne Systemzustände oder ganze Muster von Systemzuständen als verbotene Zustände deklariert werden. Beim Planen muss nun berücksichtigt werden, dass auf dem Weg zur Zielkonfiguration keine verbotenen Zustände eingenommen werden. In dieser Arbeit wird der Plan nicht mit klassischen Planungsalgorithmen gesucht, sondern mit Hilfe von Model Checking. Dies geschieht, indem man die Existenzbehauptung des Plans negiert und diese Aussage vom Model Checker verifizieren lässt. Ist die Aussage falsch, so liefert der Model Checker ein Gegenbeispiel und damit den gesuchten Plan. Im anderen Fall bestätigt er die Aussage und es gibt somit keinen Plan, der vom Start zum Ziel führt.
2010. 124 S. 220 mm
Versandfertig in 6-10 Tagen, DE, [SC: 0.00], Neuware, gewerbliches Angebot, Offene Rechnung (Vorkasse vorbehalten)<
| | booklooker.debuecher.de GmbH & Co. KG Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Malte Röhs:Röhs, M: Sichere Konfigurationsplanung adaptiver Systeme dur
- Taschenbuch ISBN: 9783639279054
Die vom Menschen entwickelten Systeme werden immer komplexer und die an sie gestellten Anforderungen immer grösser. Um diesen gerecht zu werden, handelt es sich häufig um adaptive Systeme… Mehr…
Die vom Menschen entwickelten Systeme werden immer komplexer und die an sie gestellten Anforderungen immer grösser. Um diesen gerecht zu werden, handelt es sich häufig um adaptive Systeme, also Systeme, die dynamisch ihre innere Konfiguration zur Laufzeit anpassen und verändern. Für diese zielorientierte Veränderung bedarf es eines Plans, der regelt, welche Aktionen in welcher Reihenfolge ausgeführt werden müssen, um eine gewünschte Zielkonfiguration zu erreichen. Für sicheres Planen, können hierbei im Vorhinein einzelne Systemzustände oder ganze Muster von Systemzuständen als verbotene Zustände deklariert werden. Beim Planen muss nun berücksichtigt werden, dass auf dem Weg zur Zielkonfiguration keine verbotenen Zustände eingenommen werden. In dieser Arbeit wird der Plan nicht mit klassischen Planungsalgorithmen gesucht, sondern mit Hilfe von Model Checking. Dies geschieht, indem man die Existenzbehauptung des Plans negiert und diese Aussage vom Model Checker verifizieren lässt. Ist die Aussage falsch, so liefert der Model Checker ein Gegenbeispiel und damit den gesuchten Plan. Im anderen Fall bestätigt er die Aussage und es gibt somit keinen Plan, der vom Start zum Ziel führt. Bücher > Sachbücher > Naturwissenschaften & Technik;Bücher > Sachbücher > Computer & Internet > IT-Ausbildung & -Berufe > Informatik 22.0 cm x 15.0 cm x 0.7 cm mm , VDM, Taschenbuch, VDM<
| | Orellfuessli.chNr. A1014092808. Versandkosten:Geen verzending naar uw bestemming., zzgl. Versandkosten Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Malte Röhs:Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking : Grundlagen, Konzepte, Implementierung
- Taschenbuch 2010, ISBN: 3639279050
[EAN: 9783639279054], Neubuch, [PU: VDM Verlag Dr. Müller], nach der Bestellung gedruckt Neuware -Die vom Menschen entwickelten Systeme werden immer komplexer und die an sie gestellten An… Mehr…
[EAN: 9783639279054], Neubuch, [PU: VDM Verlag Dr. Müller], nach der Bestellung gedruckt Neuware -Die vom Menschen entwickelten Systeme werden immer komplexer und die an sie gestellten Anforderungen immer größer. Um diesen gerecht zu werden, handelt es sich häufig um adaptive Systeme, also Systeme, die dynamisch ihre innere Konfiguration zur Laufzeit anpassen und verändern. Für diese zielorientierte Veränderung bedarf es eines Plans, der regelt, welche Aktionen in welcher Reihenfolge ausgeführt werden müssen, um eine gewünschte Zielkonfiguration zu erreichen. Für sicheres Planen, können hierbei im Vorhinein einzelne Systemzustände oder ganze Muster von Systemzuständen als verbotene Zustände deklariert werden. Beim Planen muss nun berücksichtigt werden, dass auf dem Weg zur Zielkonfiguration keine verbotenen Zustände eingenommen werden. In dieser Arbeit wird der Plan nicht mit klassischen Planungsalgorithmen gesucht, sondern mit Hilfe von Model Checking. Dies geschieht, indem man die Existenzbehauptung des Plans negiert und diese Aussage vom Model Checker verifizieren lässt. Ist die Aussage falsch, so liefert der Model Checker ein Gegenbeispiel und damit den gesuchten Plan. Im anderen Fall bestätigt er die Aussage und es gibt somit keinen Plan, der vom Start zum Ziel führt. 124 pp. Deutsch, Books<
| | AbeBooks.deAHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Sichere Konfigurationsplanung adaptiver Systeme durch Model Checking
- neues BuchISBN: 9783639279054
Die vom Menschen entwickelten Systeme werden immer komplexer und die an sie gestellten Anforderungen immer größer. Um diesen gerecht zu werden, handelt es sich häufig um adaptive Systeme,… Mehr…
Die vom Menschen entwickelten Systeme werden immer komplexer und die an sie gestellten Anforderungen immer größer. Um diesen gerecht zu werden, handelt es sich häufig um adaptive Systeme, also Systeme, die dynamisch ihre innere Konfiguration zur Laufzeit anpassen und verändern. Für diese zielorientierte Veränderung bedarf es eines Plans, der regelt, welche Aktionen in welcher Reihenfolge ausgeführt werden müssen, um eine gewünschte Zielkonfiguration zu erreichen. Für sicheres Planen, können hierbei im Vorhinein einzelne Systemzustände oder ganze Muster von Systemzuständen als verbotene Zustände deklariert werden. Beim Planen muss nun berücksichtigt werden, dass auf dem Weg zur Zielkonfiguration keine verbotenen Zustände eingenommen werden. In dieser Arbeit wird der Plan nicht mit klassischen Planungsalgorithmen gesucht, sondern mit Hilfe von Model Checking. Dies geschieht, indem man die Existenzbehauptung des Plans negiert und diese Aussage vom Model Checker verifizieren lässt. Ist die Aussage falsch, so liefert der Model Checker ein Gegenbeispiel und damit den gesuchten Plan. Im anderen Fall bestätigt er die Aussage und es gibt somit keinen Plan, der vom Start zum Ziel führt. Bücher, Hörbücher & Kalender / Bücher / Sachbuch / Computer & IT / Informatik, [PU: VDM Verlag Dr. Müller, Saarbrücken]<
| | Dodax.deNr. BTMHB0D2D71. Versandkosten:, Lieferzeit: 5 Tage, DE. (EUR 0.00) Details... |
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.