Search Results - ((applications OR publications) of) concurrent constraint programming*

A decision support system based on constraint programming and airspace digitalization for cooperative flight departures to improve ATM network service competitiveness

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

Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language: A calculus and its Visual Language

Authors: Rueda, Camilo Alvarez, Gloria Quesada, Luis O. et al.

Contributors: Rueda, Camilo Alvarez, Gloria Quesada, Luis O. et al.

Source: Repositorio ICESI
Universidad ICESI
instacron:Universidad ICESI

Subject Terms: [INFO.INFO-AI] Computer Science [cs]/Artificial Intelligence [cs.AI], constraint programming, computer aided music composition, Computing methodologies and applications, [INFO.INFO-TS] Computer Science [cs]/Signal and Image Processing, Visual Language, Aplicaciones musicales, 02 engineering and technology, objects, Systems engineering, visual language, formal calculi, 0202 electrical engineering, electronic engineering, information engineering, 0501 psychology and cognitive sciences, Composición musical por computador, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Network design and communication in computer systems, concurrent constraint objects, TyCO, 05 social sciences, [INFO.INFO-SD] Computer Science [cs]/Sound [cs.SD], [STAT.ML] Statistics [stat]/Machine Learning [stat.ML], [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], [SHS.MUSIQ] Humanities and Social Sciences/Musicology and performing arts, concurrent programming, Constraints, Programación orientada a objetos (Computadores), PiCO, mobile processes, concurrent, Ingeniería de sistemas y comunicaciones

File Description: application/xml; text/html

Access URL: https://hal.science/hal-01106257v1
https://hdl.handle.net/10906/79574

Universal concurrent constraint programing: symbolic semantics and applications to security

Authors: Olarte, Carlos Valencia, Frank D. Palamidessi, Catuscia

Contributors: Olarte, Carlos Valencia, Frank D. Palamidessi, Catuscia

Source: Proceedings of the 2008 ACM symposium on Applied computing. :145-150

Subject Terms: Mobility, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Security, 0202 electrical engineering, electronic engineering, information engineering, Symbolic Semantics, 0102 computer and information sciences, 02 engineering and technology, Concurrent Constraint Programming, 01 natural sciences

File Description: application/pdf

Access URL: https://inria.hal.science/inria-00201497v1
https://dblp.uni-trier.de/db/conf/sac/sac2008.html#OlarteV08
http://portal.acm.org/citation.cfm?doid=1363686.1363726
https://hal.archives-ouvertes.fr/docs/00/20/14/97/PDF/utccSac08.pdf
https://hal.inria.fr/inria-00201497/document
https://hal.inria.fr/inria-00201497
https://doi.org/10.1145/1363686.1363726

Temporal Concurrent Constraint Programming:Denotation, Logic and Applications: Temporal concurrent constraint programming: Denotation, logic and applications

Authors: Nielsen, Mogens Palamidessi, Catuscia Valencia, Frank Dan

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

Access URL: https://zbmath.org/1809625
https://pure.au.dk/portal/en/publications/ef9e6ac0-983b-11da-bee9-02004c4f4f50

Characterizing right inverses for spatial constraint systems with applications to modal logic

Authors: Guzmán, Michell Perchy, Salim Rueda, Camilo et al.

Contributors: Guzmán, Michell Perchy, Salim Rueda, Camilo et al.

Source: Theoretical Computer Science. 744:56-77

Subject Terms: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, inverse operators, [INFO.INFO-DC]Computer Science [cs]/Distributed, constraint systems, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-GT]Computer Science [cs]/Computer Science and Game Theory [cs.GT], concurrent constraint programming, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], 0102 computer and information sciences, 02 engineering and technology, ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES/F.4.1: Mathematical Logic, 16. Peace & justice, ACM: F.: Theory of Computation, Parallel, concurrency theory, 01 natural sciences, and Cluster Computing [cs.DC], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Modal algebra, [INFO.INFO-GT] Computer Science [cs]/Computer Science and Game Theory [cs.GT], [INFO.INFO-DC] Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], 0202 electrical engineering, electronic engineering, information engineering, modal logic, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

File Description: application/pdf

Access URL: https://hal.inria.fr/hal-01675010/file/final-tcs.pdf
https://inria.hal.science/hal-01675010v2
https://hal.inria.fr/hal-01675010
https://hal.inria.fr/hal-01675010/document
https://dblp.uni-trier.de/db/journals/tcs/tcs744.html#GuzmanPRV18
https://www.sciencedirect.com/science/article/pii/S0304397518303426
https://hal.archives-ouvertes.fr/hal-01675010v1

Multi-constraint scheduling of MapReduce workloads

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

Access URL: http://hdl.handle.net/10803/276174
https://dx.doi.org/10.5821/dissertation-2117-95387

This document in subdirectoryRS/01/48/ Temporal Concurrent Constraint Programming: Applications and Behavior

Authors: Mogens Nielsen Frank D. Valencia Copyright C et al.

Contributors: Mogens Nielsen Frank D. Valencia Copyright C et al.

Source: http://www.brics.dk/RS/01/48/BRICS-RS-01-48.pdf.

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.9057

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.71.9057
http://www.brics.dk/RS/01/48/BRICS-RS-01-48.pdf

Linear Concurrent Constraint Programming: Operational and Phase Semantics: Linear concurrent constraint programming: Operational and phase semantics

Authors: Fages, François Ruet, Paul Soliman, Sylvain

Contributors: Fages, François Ruet, Paul Soliman, Sylvain

Source: Information and Computation. 165:14-41

Subject Terms: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.), Semantics in the theory of computing, Proof-theoretic aspects of linear logic and other substructural logics, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Theoretical Computer Science, Computer Science Applications, Computational Theory and Mathematics, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), 0202 electrical engineering, electronic engineering, information engineering, Information Systems

File Description: application/xml; application/pdf

Executing Formal Specifications with Concurrent Constraint Programming: Executing formal specifications with concurrent constraint programming

Authors: Albert L. Baker Tim Wahls Gary T. Leavens

Source: Automated Software Engineering. 7:315-343

Subject Terms: formal specification, Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.), Computing methodologies and applications, Specification and verification (program logics, model checking, etc.), precondition, concurrent constraintprogramming, postcondition, executable specification, 0202 electrical engineering, electronic engineering, information engineering, model-based specification, 02 engineering and technology, C++

File Description: application/xml

Access URL: https://zbmath.org/1870099
https://doi.org/10.1023/a:1026554217992
https://link.springer.com/article/10.1023/A:1026554217992
https://dblp.uni-trier.de/db/journals/ase/ase7.html#WahlsLB00

Probabilistic Choice Operators as Constraint Combinators: Application to the Statistical Structural Testing Problem

Authors: Petit, Matthieu Gotlieb, Arnaud Logiciel : ANalyse et DEveloppement (Lande) et al.

Contributors: Petit, Matthieu Gotlieb, Arnaud Logiciel : ANalyse et DEveloppement (Lande) et al.

Source: https://inria.hal.science/inria-00156049 ; [Research Report] RR-6223, INRIA. 2007.

Subject Terms: Probabilistic Concurrent Constraint Programming, Probabilistic Choices Combinator, Statistical Structural Testing, [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]

Availability: https://inria.hal.science/inria-00156049
https://inria.hal.science/inria-00156049v3/document
https://inria.hal.science/inria-00156049v3/file/RR-6223.pdf

Temporal Concurrent Constraint Programming: Applications and Behavior

Authors: Nielsen, Mogens Valencia, Frank D.

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

Index Terms: info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion

URL: http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21708
http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21708/19144
http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21708/19144

Temporal Concurrent Constraint Programming: Applications and Behavior

Authors: Nielsen, M. Valencia, F.D. Brauer, Wilfried et al.

Contributors: Nielsen, M. Valencia, F.D. Brauer, Wilfried et al.

Source: Lecture Notes in Computer Science ISBN: 9783540431909
Nielsen, M & Valencia Posso, F D 2002, Temporal Concurrent Constraint Programming : Applications and Behavior. in W Brauer, H Ehrig, J Karhumäki & A Salomaa (eds), Formal and Natural Computing : Essays Dedicated to Grzegorz Rozenberg. Springer, Berlin / Heidelberg, Lecture Notes in Computer Science, vol. 2300, pp. 298-324. https://doi.org/10.1007/3-540-45711-9_17
Nielsen, M & Valencia, F D 2001, ' Temporal Concurrent Constraint Programming : Applications and Behavior ', B R I C S Report Series, no. RS-01-48 .

Access URL: https://tidsskrift.dk/brics/article/download/21708/19144
https://tidsskrift.dk/brics/article/download/21708/19144
https://tidsskrift.dk/brics/article/view/21708
http://core.ac.uk/display/23693143
https://dblp.uni-trier.de/db/conf/birthday/rozenberg2002.html#NielsenV02
http://www.lix.polytechnique.fr/~fvalenci/papers/chapter-ntcc.pdf
https://link.springer.com/chapter/10.1007/3-540-45711-9_17
https://rd.springer.com/chapter/10.1007/3-540-45711-9_17
https://pure.au.dk/portal/en/publications/ecc46fc0-983b-11da-bee9-02004c4f4f50
https://doi.org/10.1007/3-540-45711-9_17
https://pure.au.dk/portal/en/publications/fa37a730-969f-11dc-bee9-02004c4f4f50

Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL

Authors: Frank D. Valencia

Source: Lecture Notes in Computer Science ISBN: 9783540206422

Access URL: https://dblp.uni-trier.de/db/conf/iclp/iclp2003.html#Valencia03a
http://www.diva-portal.org/smash/record.jsf?pid=diva2:48252
https://rd.springer.com/chapter/10.1007/978-3-540-24599-5_29
https://link.springer.com/chapter/10.1007/978-3-540-24599-5_29
https://core.ac.uk/display/20938451

A Fully Abstract Semantics for Concurrent Constraint Programming: A fully abstract semantics for concurrent constraint programming

Authors: Sven-Olof Nyström Bengt Jonsson

Source: Information and Computation. 146:138-180

Subject Terms: Theory of software, fully abstract semantics, Computational Theory and Mathematics, Semantics in the theory of computing, 0102 computer and information sciences, 0101 mathematics, 01 natural sciences, Theoretical Computer Science, Information Systems, Computer Science Applications

File Description: application/xml

Access URL: https://www.sciencedirect.com/science/article/pii/S0890540198927389
http://www.diva-portal.org/smash/record.jsf?pid=diva2:55025
https://core.ac.uk/display/81114912
https://doi.org/10.1006/inco.1998.2738
https://dblp.uni-trier.de/db/journals/iandc/iandc146.html#NystromJ98

A Paradigm for Asynchronous Communication and its Application to Concurrent Constraint Programming

Source: Logic Programming Languages ISBN: 9780262255646

Access URL: http://dspace.library.uu.nl/bitstream/1874/17971/1/boer_91_a_paradigm_for.pdf

Models and emerging trends of concurrent constraint programming

Authors: Carlos Olarte Camilo Rueda Frank D. Valencia et al.

Contributors: Carlos Olarte Camilo Rueda Frank D. Valencia et al.

Source: Constraints. 18:535-578

Subject Terms: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, Artificial intelligence, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Computer Networks and Communications, Variety (cybernetics), Distributed Constraint Optimization Problems and Algorithms, Stochastic programming, Geometry, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Data science, Soft Constraints, Theoretical computer science, Logic Programming and Knowledge Representation, Artificial Intelligence, Concurrent engineering, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Cloud computing, Constraint programming, Constraint (computer-aided design), [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Mathematical optimization, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Computer science, Distributed computing, Operating system, Constraint Logic Programming, Computer Science, Physical Sciences, Constraint Optimization, Concurrent Constraint Programming, Program Analysis and Verification Techniques, Scheduling (production processes), Mathematics

File Description: application/pdf

Access URL: http://hal.archives-ouvertes.fr/docs/00/86/91/92/PDF/ccp-survey-article.pdf
https://inria.hal.science/hal-00869192v2/document
https://inria.hal.science/hal-00869192v2
https://doi.org/10.1007/s10601-013-9145-3
https://hal.inria.fr/hal-00869192v2
https://core.ac.uk/display/23707991
https://hal.inria.fr/hal-00869192/document
https://link.springer.com/article/10.1007%2Fs10601-013-9145-3

Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems

Authors: Guzmán, Michell Knight, Sophia Quintero, Santiago et al.

Index Terms: Computer Science - Multiagent Systems, text

URL: http://arxiv.org/abs/2010.10667

Local Spaces in Soft Concurrent Constraint Programming Oriented to Security

Authors: Bistarelli S. Santini F. Bistarelli, S. et al.

Contributors: Bistarelli S. Santini F. Bistarelli, S. et al.

Subject Terms: Local Space Functions, Security, Soft CCP

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783031737084; info:eu-repo/semantics/altIdentifier/isbn/9783031737091; ispartofbook:Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2024; volume:15219; firstpage:373; lastpage:391; numberofpages:19; serie:LECTURE NOTES IN COMPUTER SCIENCE; https://hdl.handle.net/11391/1588183

Availability: https://hdl.handle.net/11391/1588183
https://doi.org/10.1007/978-3-031-73709-1_23

Temporal Concurrent Constraint Programming: Applications and Behavior

Authors: Mogens Nielsen Frank Valencia Frank D. Valencia et al.

Contributors: Mogens Nielsen Frank Valencia Frank D. Valencia et al.

Source: http://www.brics.dk/RS/01/48/BRICS-RS-01-48.ps.gz.

Subject Terms: Programming, Applications and Behavior

File Description: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.7052

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.7052
http://www.brics.dk/RS/01/48/BRICS-RS-01-48.ps.gz

Timed Concurrent Constraint Programming: Decidability Results and Their Application to LTL

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