Výsledky vyhledávání - ((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

Autoři: Schefers, Nina Rebecca

Přispěvatelé: University/Department: Universitat Autònoma de Barcelona. Departament de Telecomunicació i Enginyeria de Sistemes

Thesis Advisors: Ramos González, Juan José

Zdroj: TDX (Tesis Doctorals en Xarxa)

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: http://hdl.handle.net/10803/665750

Universal concurrent constraint programing: symbolic semantics and applications to security

Autoři: Olarte, Carlos Valencia, Frank D. Palamidessi, Catuscia

Přispěvatelé: Olarte, Carlos Valencia, Frank D. Palamidessi, Catuscia

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

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Nielsen, Mogens Palamidessi, Catuscia Valencia, Frank Dan

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

Témata: 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

Popis souboru: application/xml

Přístupová URL adresa: 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

Autoři: Guzmán, Michell Perchy, Salim Rueda, Camilo a další

Přispěvatelé: Guzmán, Michell Perchy, Salim Rueda, Camilo a další

Zdroj: Theoretical Computer Science. 744:56-77

Témata: 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]

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Polo, Jordà

Přispěvatelé: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors

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

Zdroj: TDX (Tesis Doctorals en Xarxa)

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Mogens Nielsen Frank D. Valencia Copyright C a další

Přispěvatelé: Mogens Nielsen Frank D. Valencia Copyright C a další

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

Popis souboru: application/pdf

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

Dostupnost: 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

Autoři: Fages, François Ruet, Paul Soliman, Sylvain

Přispěvatelé: Fages, François Ruet, Paul Soliman, Sylvain

Zdroj: Information and Computation. 165:14-41

Témata: 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

Popis souboru: application/xml; application/pdf

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

Autoři: Albert L. Baker Tim Wahls Gary T. Leavens

Zdroj: Automated Software Engineering. 7:315-343

Témata: 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++

Popis souboru: application/xml

Přístupová URL adresa: 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

Autoři: Petit, Matthieu Gotlieb, Arnaud Logiciel : ANalyse et DEveloppement (Lande) a další

Přispěvatelé: Petit, Matthieu Gotlieb, Arnaud Logiciel : ANalyse et DEveloppement (Lande) a další

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

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

Dostupnost: 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

Autoři: Nielsen, Mogens Valencia, Frank D.

Zdroj: 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

Témata: 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

Autoři: Nielsen, M. Valencia, F.D. Brauer, Wilfried a další

Přispěvatelé: Nielsen, M. Valencia, F.D. Brauer, Wilfried a další

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

Přístupová URL adresa: 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

Autoři: Frank D. Valencia

Zdroj: Lecture Notes in Computer Science ISBN: 9783540206422

Přístupová URL adresa: 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

Autoři: Sven-Olof Nyström Bengt Jonsson

Zdroj: Information and Computation. 146:138-180

Témata: 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

Popis souboru: application/xml

Přístupová URL adresa: 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

Zdroj: Logic Programming Languages ISBN: 9780262255646

Přístupová URL adresa: http://dspace.library.uu.nl/bitstream/1874/17971/1/boer_91_a_paradigm_for.pdf

Models and emerging trends of concurrent constraint programming

Autoři: Carlos Olarte Camilo Rueda Frank D. Valencia a další

Přispěvatelé: Carlos Olarte Camilo Rueda Frank D. Valencia a další

Zdroj: Constraints. 18:535-578

Témata: 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

Popis souboru: application/pdf

Přístupová URL adresa: 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

Autoři: Guzmán, Michell Knight, Sophia Quintero, Santiago a další

Témata: Computer Science - Multiagent Systems, text

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

Local Spaces in Soft Concurrent Constraint Programming Oriented to Security

Autoři: Bistarelli S. Santini F. Bistarelli, S. a další

Přispěvatelé: Bistarelli S. Santini F. Bistarelli, S. a další

Témata: 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

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

Temporal Concurrent Constraint Programming: Applications and Behavior

Autoři: Mogens Nielsen Frank Valencia Frank D. Valencia a další

Přispěvatelé: Mogens Nielsen Frank Valencia Frank D. Valencia a další

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

Témata: Programming, Applications and Behavior

Popis souboru: application/postscript

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

Dostupnost: 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

Autoři: Valencia, Frank

Témata: 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

A symbolic model for timed concurrent constraint programming

Autoři: Arias, Jaime Guzmán, Michell Olarte, Carlos a další

Přispěvatelé: Arias, Jaime Guzmán, Michell Olarte, Carlos a další

Zdroj: Ninth Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2014) ; https://hal.science/hal-01257078 ; Ninth Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2014), Sep 2014, Brasilia, Brazil. pp.161-177, ⟨10.1016/j.entcs.2015.04.010⟩

Témata: Temporal Logic, Concurrent Constraint Programming, Model Checking, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Geografické téma: Brasilia, Brazil

Dostupnost: https://hal.science/hal-01257078
https://hal.science/hal-01257078v2/document
https://hal.science/hal-01257078v2/file/lsfa-2.pdf
https://doi.org/10.1016/j.entcs.2015.04.010