Katalog der Deutschen Nationalbibliothek

Go to:

Knowledge Web

Subject heading
Subject heading

Allgemeinbegriff

Lebendigkeit (Informatik)

Eigenschaft, die sicherstellt, daß gewisse erwünschte Aktionsmuster in den Abläufen nebenläufiger und verteilter Programmsysteme schließlich auftreten (FernUni Hagen)

Subject heading

Lebendigkeit (Informatik)

Definition

Eigenschaft, die sicherstellt, daß gewisse erwünschte Aktionsmuster in den Abläufen nebenläufiger und verteilter Programmsysteme schließlich auftreten (FernUni Hagen)

Synonym

Liveness (Informatik)
Lifeness (Informatik) (Lex. Informatik)

Topic

Informatik, Datenverarbeitung

Source

Lex. Informatik Kommunikationstechnik

Record type

Allgemeinbegriff

GND-Identifier

4770453-6

Record ID

970508611

Topic of

show all

Das Verhältnis von Seele und Leib bei Andreas von Heyl als Zentrum seines Seelsorgeverständnisses

A Hierarchical Control Architecture for ω-Languages

A hierarchical control architecture for ω-languages = Eine hierarchische Reglerarchitektur für ω-Sprachen

Immanuel Kant und der Leib des Menschen - eine Studie über Lebendigkeit, Räumlichkeit und Körperlichkeit als Zugänge zum Phänomen

Logik der Lebendigkeit : Der Blick durch die Augen der Kybernetik

Anthropomorphismus und Explikation der Lebendigkeit von Pflanzen in der Literatur

Liveness zwischen Realität und Virtualität

Liveness zwischen Realität und Virtualität

»Liveness«. Theater, Oper, Kirche, Kino und Fernsehen zwischen Medialität und Konventionalität

Supervisory control of concurrent systems : a Petri net structural approach

Liveness checking as safety checking to find shortest counterexamples to linear time properties

Supervisory control of concurrent systems : a Petri net structural approach

Abstraction-based verification of parameterized networks

Abstraction-based verification of parameterized networks

Exploring the limits of parameterized system verification

Exploring the limits of parameterized system verification

Distributed trust

Die Gauja-Liven und ihre materielle Kultur : (11. Jh. - Anfang 13. Jhs.); ein Beitr. z. ost-balt. Frühgeschichte

Die lettischen Präfixe des livischen Verbs = Les préfixes lettons du verbe live
Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

DNB portal