Suchergebnisse - (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

Autoren: Schefers, Nina Rebecca

Weitere Verfasser: University/Department: Universitat Autònoma de Barcelona. Departament de Telecomunicació i Enginyeria de Sistemes

Thesis Advisors: Ramos González, Juan José

Quelle: TDX (Tesis Doctorals en Xarxa)

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-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

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

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

Quelle: Repositorio ICESI
Universidad ICESI
instacron:Universidad ICESI

Schlagwörter: [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

Dateibeschreibung: application/xml; text/html

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

Universal concurrent constraint programing: symbolic semantics and applications to security

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

Weitere Verfasser: Olarte, Carlos Valencia, Frank D. Palamidessi, Catuscia

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-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

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

Quelle: 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.

Schlagwörter: 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

Dateibeschreibung: application/xml

Zugangs-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

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

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

Quelle: Theoretical Computer Science. 744:56-77

Schlagwörter: 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]

Dateibeschreibung: application/pdf

Zugangs-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

Autoren: Polo, Jordà

Weitere Verfasser: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

Thesis Advisors: Becerra Fontal, Yolanda, Carrera Pérez, David

Quelle: TDX (Tesis Doctorals en Xarxa)

Dateibeschreibung: application/pdf

Zugangs-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

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

Weitere Verfasser: Mogens Nielsen Frank D. Valencia Copyright C et al.

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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

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

Weitere Verfasser: Fages, François Ruet, Paul Soliman, Sylvain

Quelle: Information and Computation. 165:14-41

Schlagwörter: 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

Dateibeschreibung: application/xml; application/pdf

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

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

Quelle: Automated Software Engineering. 7:315-343

Schlagwörter: 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++

Dateibeschreibung: application/xml

Zugangs-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

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

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

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

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

Verfügbarkeit: 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

Autoren: Nielsen, Mogens Valencia, Frank D.

Quelle: 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 Begriffe: 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

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

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

Quelle: 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 .

Zugangs-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

Autoren: Frank D. Valencia

Quelle: Lecture Notes in Computer Science ISBN: 9783540206422

Zugangs-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

Autoren: Sven-Olof Nyström Bengt Jonsson

Quelle: Information and Computation. 146:138-180

Schlagwörter: 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

Dateibeschreibung: application/xml

Zugangs-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

Quelle: Logic Programming Languages ISBN: 9780262255646

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

Models and emerging trends of concurrent constraint programming

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

Weitere Verfasser: Carlos Olarte Camilo Rueda Frank D. Valencia et al.

Quelle: Constraints. 18:535-578

Schlagwörter: 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

Dateibeschreibung: application/pdf

Zugangs-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

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

Index Begriffe: Computer Science - Multiagent Systems, text

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

Local Spaces in Soft Concurrent Constraint Programming Oriented to Security

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

Weitere Verfasser: Bistarelli S. Santini F. Bistarelli, S. et al.

Schlagwörter: 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

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

Temporal Concurrent Constraint Programming: Applications and Behavior

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

Weitere Verfasser: Mogens Nielsen Frank Valencia Frank D. Valencia et al.

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

Schlagwörter: Programming, Applications and Behavior

Dateibeschreibung: application/postscript

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

Verfügbarkeit: 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

Autoren: Valencia, Frank

Index Begriffe: 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