Výsledky vyhledávání - temporal concurrent constraint programming

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

A Temporal Concurrent Constraint Programming Calculus

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

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

Témata: info:eu-repo/semantics/article, info:eu-repo/semantics/publishedVersion

URL: http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21681
http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21681/19117
http://ojs.statsbiblioteket.dk/index.php/brics/article/view/21681/19117

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

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

A Temporal Concurrent Constraint Programming Calculus

Autoři: Catuscia Palamidessi Frank D. Valencia

Zdroj: Lecture Notes in Computer Science ISBN: 9783540428633

Přístupová URL adresa: https://tidsskrift.dk/brics/article/download/21681/19117
https://rd.springer.com/chapter/10.1007/3-540-45578-7_21
https://dblp.uni-trier.de/db/conf/cp/cp2001.html#PalamidessiV01
http://www.lix.polytechnique.fr/~fvalenci/papers/lncs-ntcc.pdf
https://link.springer.com/chapter/10.1007%2F3-540-45578-7_21
https://core.ac.uk/display/23553393
https://tidsskrift.dk/brics/article/view/21681

Temporal Concurrent Constraint Programming

Autoři: Frank D. Valencia

Zdroj: Lecture Notes in Computer Science ISBN: 9783540428633

Přístupová URL adresa: https://rd.springer.com/chapter/10.1007/3-540-45578-7_84
https://dblp.uni-trier.de/db/conf/cp/cp2001.html#Valencia01
http://www.lix.polytechnique.fr/~fvalenci/papers/22390786.pdf
https://core.ac.uk/display/21976087
https://link.springer.com/chapter/10.1007/3-540-45578-7_84
https://link.springer.com/content/pdf/10.1007%2F3-540-45578-7_84.pdf

Universal Temporal Concurrent Constraint Programming

Autoři: Olarte, Carlos Palamidessi, Catuscia

Přispěvatelé: Olarte, Carlos Palamidessi, Catuscia

Témata: Concurrent Constraint programming, Programmation Concurrent par Contraintes, Security, sécurité, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, sémantiques, Semantics

Popis souboru: application/pdf

Přístupová URL adresa: https://pastel.hal.science/tel-00430446v1

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

On the Expressive Power of Temporal Concurrent Constraint Programming Languages

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

Zdroj: Nielsen, M, Palamidessi, C & Valencia, F D 2002, On the Expressive Power of Temporal Concurrent Constraint Programming Languages. in Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming. Association for Computing Machinery, pp. 156-167, ACM SIGPLAN international conference on Principles and practice of declarative programming, Pittsburgh, Pennsylvania, United States, 06/10/2002. https://doi.org/10.1145/571157.571173

Témata: constraint programming, expressiveness, timed systems

Přístupová URL adresa: https://pure.au.dk/portal/en/publications/f603fd80-983b-11da-bee9-02004c4f4f50

On the Expressive Power of Temporal Concurrent Constraint Programming Languages

Autoři: Mogens Nielsen Catuscia Palamidessi Frank D. Valencia

Zdroj: Electronic Notes in Theoretical Computer Science. 68:3

Témata: 0211 other engineering and technologies, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/ppdp/ppdp2002.html#NielsenPV02
https://core.ac.uk/display/20940136
http://www.lix.polytechnique.fr/~fvalenci/papers/paper.pdf
https://dl.acm.org/doi/10.1145/571157.571173
https://www.sciencedirect.com/science/article/pii/S1571066105803597
http://dblp.uni-trier.de/db/journals/entcs/entcs68.html#Palamidessi02
https://dblp.uni-trier.de/db/journals/entcs/entcs68.html#Palamidessi02

Temporal Concurrent Constraint Programming: Denotation, Logic And Applications

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

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

Zdroj: http://www.cse.psu.edu/~catuscia/papers/Ntcc/njc02.ps.

Témata: Program Specification, Timed Systems, Reactive Systems, Multi-Agent Systems, Musical Applications

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.7827; http://www.cse.psu.edu/~catuscia/papers/Ntcc/njc02.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.7827
http://www.cse.psu.edu/~catuscia/papers/Ntcc/njc02.ps

A Temporal Concurrent Constraint Programming Calculus

Autoři: Palamidessi Valencia Catuscia Palamidessi Frank D. Valencia a další

Přispěvatelé: Palamidessi Valencia Catuscia Palamidessi Frank D. Valencia a další

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

Popis souboru: application/postscript

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.4.48
http://www.brics.dk/RS/01/20/BRICS-RS-01-20.ps.gz

Formalizing Timed Musical Processes with a Temporal Concurrent Constraint Programming Calculus

Autoři: Camilo Rueda Frank D. Valencia The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Camilo Rueda Frank D. Valencia The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.ircam.fr/equipes/repmus/cpws/rueda.ps.

Popis souboru: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.5839; http://www.ircam.fr/equipes/repmus/cpws/rueda.ps

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.5839
http://www.ircam.fr/equipes/repmus/cpws/rueda.ps

Subexponential concurrent constraint programming.

Autoři: Olarte, Carlos Pimentel, Elaine Nigam, Vivek

Zdroj: Theoretical Computer Science. Nov2015, Vol. 606, p98-120. 23p.

Témata: *CONSTRAINT programming, *LINEAR systems, *SYSTEMS theory, *MATHEMATICAL proofs, *PROGRAMMING languages

A temporal concurrent constraint programming calculus

Autoři: Frank D. Valencia The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Frank D. Valencia The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.lix.polytechnique.fr/~fvalenci/papers/22390786.pdf.

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.5260; http://www.lix.polytechnique.fr/~fvalenci/papers/22390786.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.387.5260
http://www.lix.polytechnique.fr/~fvalenci/papers/22390786.pdf

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

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: calculi for concurrency, multi-agent systems, musical applications, program specification, reactive systems, temporal concurrency constraint programming, timed systems

Dostupnost: https://pure.au.dk/portal/en/publications/ef9e6ac0-983b-11da-bee9-02004c4f4f50

Universal Temporal Concurrent Constraint Programming ; Programmation Concurrent par Contraintes pour Vérifier un Protocole de Sécurité

Autoři: Olarte, Carlos Concurrency, Mobility and Transactions (COMETE) Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) a další

Přispěvatelé: Olarte, Carlos Concurrency, Mobility and Transactions (COMETE) Laboratoire d'informatique de l'École polytechnique Palaiseau (LIX) a další

Zdroj: https://pastel.hal.science/tel-00430446 ; Modeling and Simulation. Ecole Polytechnique X, 2009. English. ⟨NNT : ⟩.

Témata: Concurrent Constraint programming, Security, Semantics, Programmation Concurrent par Contraintes, sécurité, sémantiques, [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation

Dostupnost: https://pastel.hal.science/tel-00430446
https://pastel.hal.science/tel-00430446v1/document
https://pastel.hal.science/tel-00430446v1/file/thesis.pdf

A Calculus for Temporal Concurrent Constraint Programming

Autoři: Nielsen, Mogens Palamidessi, Catuscia Valencia Posso, Frank D.

Zdroj: Nielsen, M, Palamidessi, C & Valencia Posso, F D 2002, ' A Calculus for Temporal Concurrent Constraint Programming ', Electronic Notes in Theoretical Computer Science, no. 1, pp. A-59 .

Přístupová URL adresa: https://pure.au.dk/portal/en/publications/284ddf90-3520-11dc-bee9-02004c4f4f50