Search Results - (Applications of) Concurrent Constraint Programming~
-
1
Authors:
Source: Nielsen, M, Palamidessi, C & Valencia, F D 2002, 'Temporal Concurrent Constraint Programming : Denotation, Logic and Applications', Nordic Journal of Computing, vol. 9, no. 2, pp. 145-188.
Subject Terms: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), reactive systems, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic programming, musical applications, program specification, temporal concurrent constraint programming, timed systems, 0202 electrical engineering, electronic engineering, information engineering, temporal concurrency constraint programming, multi-agent systems, calculi for concurrency
File Description: application/xml
-
2
Authors:
Source: BRICS Report Series; No 48 (2001): RS-48 Temporal Concurrent Constraint Programming: Applications and Behavior; BRICS Report Series; No 48 (2001): RS-48 Temporal Concurrent Constraint Programming: Applications and Behavior; 1601-5355; 0909-0878
-
3
Authors: Schefers, Nina Rebecca
Contributors: University/Department: Universitat Autònoma de Barcelona. Departament de Telecomunicació i Enginyeria de Sistemes
Thesis Advisors: Ramos González, Juan José
Source: TDX (Tesis Doctorals en Xarxa)
Subject Terms: Gestió del trànsit aeri, Gestión del tráfico aéreo, Air traffic management, Operació basada en la trajectòria, Trayecctoria basada en la operación, Trajeectory based operation, Programació de restriccions, Programación de restricción, Constriaint programming, Tecnologies
File Description: application/pdf
Access URL: http://hdl.handle.net/10803/665750
-
4
Authors: Valencia, Frank
Index Terms: Conference paper, info:eu-repo/semantics/conferenceObject, text
URL:
http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-20479
Logic Programming, 19th International Conference, p. 422-437 -
5
Authors:
Contributors:
Source: Computer Systems Science and Engineering
Comput Syst Sci EngSubject Terms: Data structures, Declarative logic programming, Object oriented timed concurrent constraint programming (OO-TCCP), Real time systems, 02 engineering and technology, Modelling and Synchronisation of Multimedia Objects, Logic programming, Multimedia Programming, Declarative Programming, Object oriented programming, 0202 electrical engineering, electronic engineering, information engineering, Computer systems programming, (Applications of) Concurrent Constraint Programming, Constraint theory, Multimedia systems, Data flow analysis
Access URL: http://gnosis.library.ucy.ac.cy/handle/7/54730
-
6
Authors:
Source: Utrecht : Utrecht, (1991) [ISBN 0924-3275]
Index Terms: Wiskunde en Informatica (WIIN), Report
-
7
-
8
-
9
Authors:
Contributors:
Subject Terms: Multimedia Programming, Declarative Programming, Modelling and Synchronisation of Multimedia Objects, Applications of) Concurrent Constraint Programming
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.69.6611; http://www.cs.ucy.ac.cy/~george/CSSEa.pdf
-
10
-
11
Authors: Polo, Jordà
Contributors: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors
Thesis Advisors: Becerra Fontal, Yolanda, Carrera Pérez, David
Source: TDX (Tesis Doctorals en Xarxa)
File Description: application/pdf
-
12
-
13
Authors: et al.
Source: Theoretical Computer Science. Oct2018, Vol. 744, p56-77. 22p.
Subject Terms: *PSYCHOLOGICAL factors, *PHILOSOPHY of psychology, *BEHAVIORISM (Psychology), *BEHAVIOR modification, *SOCIAL psychology
-
14
Authors:
Source: BRICS Report Series; No 20 (2001): RS-20 A Temporal Concurrent Constraint Programming Calculus; BRICS Report Series; No 20 (2001): RS-20 A Temporal Concurrent Constraint Programming Calculus; 1601-5355; 0909-0878
-
15
Authors:
Index Terms: Concurrent Constraint Programming, Concurrency, Behavioural Equivalence, Bisimilarity, Process Calculi, Operational Semantics, Labelled Semantics, InProceedings, Text, doc-type:ResearchArticle, publishedVersion
URL:
https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICLP.2010.236
Is Part Of LIPIcs, Volume 7, Technical Communications of the 26th International Conference on Logic Programming (2010) -
16
Authors: et al.
Source: Fundamenta Informaticae; 2020, Vol. 177 Issue 3/4, p331-357, 27p
Subject Terms: CONSTRAINT programming, DEBUGGING, LANGUAGE & languages
-
17
Authors:
Source: BRICS Report Series; No 22 (2002): RS-22 On the Expressive Power of Concurrent Constraint Programming Languages; 1601-5355; 0909-0878
-
18
Authors: et al.
Source: Gutierrez, J, Pérez, J A, Rueda, C & Valencia, F D 2007, 'Timed Concurrent Constraint Programming for Analysing Biological Systems', Electronic Notes in Theoretical Computer Science, vol. 171, no. 2, pp. 117-137.
Index Terms: article
URL:
https://research.rug.nl/en/publications/f95b262a-6f00-49a6-8afa-629fe0dcca8a https://doi.org/10.1016/j.entcs.2007.05.012 https://hdl.handle.net/11370/f95b262a-6f00-49a6-8afa-629fe0dcca8a https://pure.rug.nl/ws/files/184120815/Timed_Concurrent_Constraint_Programming_for_Analysing_Biological_Systems.pdf https://www.scopus.com/pages/publications/34250852244
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.entcs.2007.05.012
info:eu-repo/semantics/altIdentifier/hdl/https://hdl.handle.net/11370/f95b262a-6f00-49a6-8afa-629fe0dcca8a
info:eu-repo/semantics/altIdentifier/pissn/1571-0661 -
19
Authors:
Source: Constraints: An International Journal; Oct2013, Vol. 18 Issue 4, p535-578, 44p
-
20
Authors: et al.
Source: Logic Programming Languages; 1993, p82-113, 32p
Nájsť tento článok vo Web of Science 
Full Text Finder