• Suche: "Timed Concurrent Constraint Programming"

Treffer 41 - 30 von 30

41

A multimedia programming model based on timed concurrent constraint programming
Papadopoulos, George Angelos ; Papadopoulos, George Angelos [0000-0001-9250-4916]
Computer Systems Science and Engineering
Comput Syst Sci Eng

Data structures Declarative logic progra... Object oriented timed co... Real time systems 02 engineering and techn... Modelling and Synchronis... …
Fachzeitschrift
Zu den Favoriten
42

Dieses Ergebnis kann Gästen nicht angezeigt werden.

43

An Abstract Interpretation Framework for Diagnosis and Verification of Timed Concurrent Constraint Languages
Titolo, Laura ; VILLANUEVA GARCIA, ALICIA ; Titolo, Laura ; et al.

Concurrent Constraint Pa... Abstract Interpretation Semantic Formal Verification Timed Concurrent Constra... Settore INF/01 - Informa...
Dissertation
Zu den Favoriten
44

The Timed Concurrent Constraint language in practice
Lescaylle Daudinot, Alexei ; Villanueva García, Alicia ; Departamento de Sistemas Informáticos y Computación ; et al.

Timed concurrent constra... Security protocols Verification LENGUAJES Y SISTEMAS INF... Máster Universitario en... Métodos Formales y Siste... …
Dissertation
Zu den Favoriten
45

Modeling Concurrent systems specied in a Temporal Concurrent Constraint language
M. Falaschi ; A. Policriti ; A. Villanueva ; et al.
http://users.dsic.upv.es/~villanue/pub/FPV00.pdf.

Timed Concurrent Constra... Reactive sys- tems Model checking APPIA-GUL...
Fachzeitschrift
Zu den Favoriten
46

Modeling concurrent systems specified in a temporal concurrent constraint language
Moreno Falaschi ; Alberto Policriti ; Alicia Villanueva ; et al.
http://www.dsic.upv.es/~villanue/pub/FPV01a.pdf.

Key words Timed Concurrent Constra... Reactive systems Model checking
Fachzeitschrift
Zu den Favoriten
47

Under consideration for publication in Theory and Practice of Logic Programming 1 Automatic Verification of Timed Concurrent Constraint Programs∗
Moreno Falaschi ; Alicia Villanueva ; The Pennsylvania State University CiteSeerX Archives
http://www.dsic.upv.es/~villanue/pub/FV06.pdf.

Automatic verification reactive systems timed concurrent constra...
Fachzeitschrift
Zu den Favoriten
48

The Timed Concurrent Constraint language in practice
Lescaylle Daudinot, Alexei ; Villanueva García, Alicia ; Departamento de Sistemas Informáticos y Computación ; et al.
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Universitat Politècnica de València (UPV)
instname

Timed concurrent constra... Verification Máster Universitario en... LENGUAJES Y SISTEMAS INF... Security protocols
Dissertation
Zu den Favoriten
49

A Condensed Goal-Independent Bottom-Up Fixpoint Semantics Modeling the Behavior of tccp
Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació ; Comini, Marco ; Titolo, Laura ; et al.

E-Ressource
Zu den Favoriten
50

The Timed Concurrent Constraint language in practice
Villanueva García, Alicia ; Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat ; Lescaylle Daudinot, Alexei ; et al.

E-Ressource
Zu den Favoriten
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter