Auflistung nach:
Auflistung Band 37 (2014) nach Erscheinungsdatum
1 - 10 von 98
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelExplizites Model Checking: Welche Vorteile bieten Petrinetze?(Informatik-Spektrum: Vol. 37, No. 3, 2014) Wolf, KarstenPetrinetze wurden vorgeschlagen, um Schwächen klassischer Automatenmodelle zu beheben. Explizites Model Checking übersetzt jedoch zunächst ein Petrinetz in einen klassischen Automaten. Damit gibt man zunächst die Vorteile von Petrinetzen scheinbar wieder auf. Wir zeigen jedoch, dass die wichtigsten Techniken des expliziten Model Checking besonders effizient sind, wenn sie grundlegende Prinzipien von Petrinetzen berücksichtigen. Dieser Beitrag beschreibt Resultate, die auf praktischen Erfahrungen mit einem petrinetzbasierten Werkzeug zum expliziten Model Checking beruhen.
- ZeitschriftenartikelMitteilungen der Gesellschaft für Informatik 228. Folge(Informatik-Spektrum: Vol. 37, No. 4, 2014)
- ZeitschriftenartikelIn sieben Schritten zum erfolgreichen Big-Data-Projekt(Informatik-Spektrum: Vol. 37, No. 2, 2014) Conrads, Ralf
- Zeitschriftenartikel,,Industriegipfel Feldafing – System Leadership 2030“ – ein Resümee erster Strategiegespräche zu Industrie 4.0(Informatik-Spektrum: Vol. 37, No. 1, 2014)
- ZeitschriftenartikelElektronische Abzeichen zur Unterstützung von informalem Lernen(Informatik-Spektrum: Vol. 37, No. 4, 2014) Dorn, Jürgen
- ZeitschriftenartikelGroß ist: INFORMATIK 2014 in Stuttgart(Informatik-Spektrum: Vol. 37, No. 6, 2014)
- ZeitschriftenartikelInterwoven Systems(Informatik-Spektrum: Vol. 37, No. 5, 2014) Tomforde, Sven; Hähner, Jörg; Sick, Bernhard
- ZeitschriftenartikelMitteilungen der Schweizer Informatik Gesellschaft / 6_2014(Informatik-Spektrum: Vol. 37, No. 6, 2014)
- ZeitschriftenartikelMitteilungen der Schweizer Informatik Gesellschaft / 4_2014(Informatik-Spektrum: Vol. 37, No. 4, 2014)
- ZeitschriftenartikelIntegration!(Informatik-Spektrum: Vol. 37, No. 5, 2014) Dueck, Gunter