At that time we showed that hierarchical logic programs have a model.
Zu dieser Zeit haben wir gezeigt dass hierarchische Logikprogramme ein Model haben.
Moreover, we introduce an alternative approach for obtaining programs from specifications by directly interpreting inductive definitions as logic programs.
Darüberhinaus stellen wir einen alternativen Ansatz zur Gewinnung von Programmen aus Spezifikationen vor, der induktive Definitionen direkt als Logikprogramme interpretiert.
Unfortunately we will have to run again and again since hierarchical logic programs are only the beginning.
Unglücklicherweise werden wir wieder und wieder laufen müssen da hierarchische Logikprogramme nur der Anfang sind.
Within these files the time programs, scene programs, logic programs parametrierten at the panel and presence simulation are stored.
Innerhalb dieser Dateien werden die am Panel parametrierten Zeitprogramme, Szenenprogramme, Logikprogramme und die Anwesenheitssimulation gespeichert.
With respect to domain knowledge representation, the analysis results indicate that general (domain-specific) decision logic in the WsSWFs can be represented by normal logic programs.
In Bezug auf die Repräsentation von Domänenwissen zeigen die Ergebnisse der Analyse, dass allgemeine (domänenspezifische) Entscheidungslogik in den WsSWFs durch normale Logikprogramme repräsentiert werden kann.
Query optimization by type lattices in object-oriented logic programs and deductive databases.
Abfrageoptimierung durch Typgitter in objekt-orientierten Logikprogrammen und deduktiven Datenbanken.
Belsavis's automated security systems consist of a complex web of logic programs, identity databases, mechanical interfaces and emergency overrides.
Belsavis' automatische Sicherheitssysteme bestehen aus einem komplexen Netz von Logikprogrammen, Identitätsdatenbanken, mechanischen Schnittstellen und Notfallüberbrückungen.
A gateway as claimed in claims 4 or 5, wherein the service gateway (32) comprises a notification demultiplexer comprising means for dispatching network notifications to the service logic programs and to applications.
Gateway nach Anspruch 4 oder 5, wobei das Service-Gateway (32) einen Notificationdemultiplexer umfasst, der Mittel zum Versenden von Netzwerknotifications zu den Service-Logik-Programmen und zu Anwendungen umfasst.
A gateway as claimed in any of claims 4 to 6, wherein the outer layer (24) comprises a network gateway (31) comprising signalling stacks and means for performing translation between said stacks and the service logic programs of the service gateway (32).
Gateway nach einem der Ansprüche 4 bis 6, wobei die Außenschicht (24) ein Netzwerk-Gateway (31) umfasst, das Signalgabestapel und Mittel zum Durchführen einer Translation zwischen den genannten Stapeln und den Service-Logik-Programmen des Service-Gateways (32) umfasst.
We have a long research tradition in inductive programming, that is inductive synthesis of (recursive) functional or logic programs from incomplete specifications (e.g., input/output examples).
Schwerpunkt ist Induktive Programmierung, also die induktive Synthese von (rekursiven) funktionalen oder logischen Programmen auf Basis unvollständiger Spezifikationen, insbesondere Beispielen.
A service node according to claim 1, including a bearer-network interface (75) for connection to said bearer network, the receiving means (71) being operative to receive said normally-remotely-held service logic programs and content through said bearer-network interface.
Ein Dienstknoten gemäß Anspruch 1, der eine Trägernetzwerkschnittstelle (75) für eine Verbindung mit dem Trägernetzwerk umfaßt, wobei die Empfangseinrichtung (71) wirksam ist, um die normalerweise entfernt gehaltenen Dienstlogikprogramme und den Inhalt durch die Trägernetzwerkschnittstelle zu empfangen.
Screens and logic programs can be edited with the same software, and the same addresses or user-defined control symbols can be shared for both screen parts and logic elements with drag-and-drop operation. Controller addresses can be written directly to help reduce development time.
Alle Adressen und Symbole können sowohl in der Logik als auch im Bilschirmeditor verwendet werden. Der Austausch zwischen Logik und Bildschirm kann mit Drag-and-Drop erfolgen. SPS Adressen können direkt beschrieben werden.
A service node according to claim 1, wherein said execution means (74) can concurrently execute multiple particular service logic programs (55A,55B) with interaction therebetween.
Ein Dienstknoten gemäß Anspruch 1, bei dem die Ausführungseinrichtung (74) gleichzeitig mehrere bestimmte Dienstlogikprogramme (55A, 55B) mit einer Interaktion zwischen denselben ausführen kann.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.