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.
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.
As an early mover to the 65nm low-power version within the ICIS alliance Infineon demonstrates 65nm readiness to all advanced logic programs and offers turn key solutions to all customers facing power-sensitive applications.
Als früher Anwender der 65-nm-Low-Power-Version innerhalb der ICIS-Allianz demonstrierte Infineon die Verfügbarkeit der 65-nm-Technologie für alle Logikanwendungen und eröffnet so seinen Kunden Lösungen und Schlüsselkomponenten für den Strom sparenden Einsatz in entsprechenden Applikationen.
Potentieel gevoelige of ongepaste informatie
Er worden alleen voorbeelden gegeven om u te helpen het woord of de woordcombinatie waarop u hebt gezocht, te vertalen. Deze worden niet door ons geselecteerd of gevalideerd en kunnen ongepaste taal bevatten. Wij vragen u melding te maken van voorbeelden die dienen te worden aangepast of verwijderd. Vertalingen met grof of informeel taalgebruik worden meestal rood of oranje gemarkeerd.