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

A Symbolic Model for Timed Concurrent Constraint Programming

Autoři: Arias, Jaime Guzman, Michell Vega, Carlos Alberto Olarte a další

Přispěvatelé: Arias, Jaime Guzman, Michell Vega, Carlos Alberto Olarte a další

Zdroj: Electronic Notes in Theoretical Computer Science. 312:161-177

Témata: Model checking, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Temporal logic, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, Concurrent constraint programming, 01 natural sciences, model checking, Model Checking, Theoretical Computer Science, temporal logic, Temporal Logic, 0202 electrical engineering, electronic engineering, information engineering, Concurrent Constraint Programming, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Computer Science(all)

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.science/hal-01257078v2
https://hal.science/hal-01257078v2/document
https://doi.org/10.1016/j.entcs.2015.04.010
https://core.ac.uk/display/81983992
https://www.sciencedirect.com/science/article/pii/S1571066115000146
https://dblp.uni-trier.de/db/journals/entcs/entcs312.html#AriasGO15
https://hal.archives-ouvertes.fr/hal-01257078
https://tel.archives-ouvertes.fr/INRIA/hal-01257078v1

Compositional modelling of signalling pathways in timed concurrent constraint programming

Autoři: Chiarugi, Davide Falaschi, Moreno Olarte, Carlos a další

Přispěvatelé: Chiarugi, Davide Falaschi, Moreno Olarte, Carlos a další

Zdroj: Proceedings of the First ACM International Conference on Bioinformatics and Computational Biology. :414-417

Témata: [SDV.BIBS] Life Sciences [q-bio]/Quantitative Methods [q-bio.QM], 0206 medical engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, [INFO.INFO-BI] Computer Science [cs]/Bioinformatics [q-bio.QM]

Popis souboru: application/pdf

Přístupová URL adresa: https://hal.archives-ouvertes.fr/hal-00548213/file/bio-ntcc-cr.pdf
https://dl.acm.org/doi/10.1145/1854776.1854843
https://doi.org/10.1145/1854776.1854843
https://hal.archives-ouvertes.fr/hal-00548213/document
http://portal.acm.org/citation.cfm?doid=1854776.1854843
https://hal.archives-ouvertes.fr/hal-00548213
https://hal.inria.fr/hal-00548213/en

A Framework for Timed Concurrent Constraint Programming with External Functions

Autoři: María Alpuente Alicia Villanueva Bernhard Gramlich

Zdroj: Electronic Notes in Theoretical Computer Science. 188:143-155

Témata: Functional features, Case study, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, Timed Concurrent Constraint language, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Přístupová URL adresa: http://www.logic.at/staff/gramlich/papers/prole06-entcs07.pdf
https://dblp.uni-trier.de/db/journals/entcs/entcs188.html#AlpuenteGV07
https://core.ac.uk/display/82755758
https://www.logic.at/staff/gramlich/papers/prole06-entcs07.pdf
https://www.sciencedirect.com/science/article/pii/S1571066107004859

Timed Concurrent Constraint Programming for Analysing Biological Systems

Autoři: Julian Gutierrez Jorge A. Pérez Frank D. Valencia a další

Zdroj: Electronic Notes in Theoretical Computer Science. 171:117-137

Témata: 0301 basic medicine, 03 medical and health sciences, Partial Information, Verification of Biological Systems, Concurrent Constraint Programming (CCP), 0102 computer and information sciences, 01 natural sciences, Process Calculi, Theoretical Computer Science, Computer Science(all), 3. Good health

Přístupová URL adresa: https://hdl.handle.net/11370/f95b262a-6f00-49a6-8afa-629fe0dcca8a
https://research.rug.nl/en/publications/f95b262a-6f00-49a6-8afa-629fe0dcca8a
https://doi.org/10.1016/j.entcs.2007.05.012

Foundations of timed concurrent constraint programming

Autoři: Vijay Saraswat Vineet Gupta Radha Jagadeesan

Zdroj: Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science. :71-80

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

A multimedia programming model based on timed concurrent constraint programming

Autoři: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Přispěvatelé: Papadopoulos, George Angelos Papadopoulos, George Angelos [0000-0001-9250-4916]

Zdroj: Computer Systems Science and Engineering
Comput Syst Sci Eng

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

Přístupová URL adresa: http://gnosis.library.ucy.ac.cy/handle/7/54730

On the expressiveness of Timed Concurrent Constraint Programming

Autoři: Tini, Simone

Zdroj: Electronic Notes in Theoretical Computer Science. 27:3-17

Témata: General Computer Science, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Theoretical Computer Science, Computer Science(all)

Přístupová URL adresa: https://www.sciencedirect.com/science/article/pii/S1571066105802919
https://www.sciencedirect.com/science/article/abs/pii/S1571066105802919
https://dblp.uni-trier.de/db/journals/entcs/entcs27.html#Tini99
https://www.openaccessrepository.it/record/26423

Default timed concurrent constraint programming

Autoři: Vijay Saraswat Radha Jagadeesan Vineet Gupta

Zdroj: Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95. :272-285

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Přístupová URL adresa: https://core.ac.uk/display/22613689
https://dblp.uni-trier.de/db/conf/popl/popl95.html#SaraswatJG95
http://www-cs-students.stanford.edu/~vgupta/publications/defaultTcc-popl95.pdf
https://dl.acm.org/doi/10.1145/199448.199513

Notes on Timed Concurrent Constraint Programming

Autoři: Mogens Nielsen Frank D. Valencia Desel, Jörg a další

Přispěvatelé: Mogens Nielsen Frank D. Valencia Desel, Jörg a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783540222613
Nielsen, M & Valencia, F D 2004, Notes on Timed Concurrent Constraint Programming. in J Desel, W Reisig & G Rozenberg (eds), Lectures on Concurrency and Petri Nets : Advances in Petri Nets. Springer, Lecture Notes in Computer Science, vol. 3098, pp. 137-159, Advanced Course in Petri Nets, Eichsätt, Germany, 17/12/2010. https://doi.org/10.1007/978-3-540-27755-2_20

Témata: 16. Peace & justice

Přístupová URL adresa: https://link.springer.com/chapter/10.1007%2F978-3-540-27755-2_20
https://dblp.uni-trier.de/db/conf/ac/acpn2003.html#NielsenV03
https://rd.springer.com/chapter/10.1007/978-3-540-27755-2_20
https://link.springer.com/10.1007/978-3-540-27755-2_20
https://pure.au.dk/portal/en/publications/bb0ac390-f622-11df-a891-000ea68e967b
https://doi.org/10.1007/978-3-540-27755-2_20

Non-determinism and Probabilities in Timed Concurrent Constraint Programming

Autoři: Jorge A. Pérez Camilo Rueda

Zdroj: Lecture Notes in Computer Science ISBN: 9783540899815

Témata: 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Přístupová URL adresa: https://www.narcis.nl/publication/RecordID/oai%3Apure.rug.nl%3Apublications%2Fdd5ec656-33a4-43bc-87dd-1360203808b8
https://rd.springer.com/chapter/10.1007/978-3-540-89982-2_56
https://core.ac.uk/display/79281322
https://dblp.uni-trier.de/db/conf/iclp/iclp2008.html#PerezR08
https://link.springer.com/chapter/10.1007%2F978-3-540-89982-2_56
https://research.rug.nl/en/publications/non-determinism-and-probabilities-in-timed-concurrent-constraint-

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

Universal Timed Concurrent Constraint Programming

Autoři: Olarte, Carlos Palamidessi, Catuscia Valencia, Frank a další

Přispěvatelé: Olarte, Carlos Palamidessi, Catuscia Valencia, Frank a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783540746089

Témata: [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: http://www.lix.polytechnique.fr/~catuscia/papers/Carlos/iclp07DC.pdf
https://inria.hal.science/inria-00201066v1
https://inria.hal.science/inria-00201066v1/document
https://doi.org/10.1007/978-3-540-74610-2_47
https://rd.springer.com/chapter/10.1007/978-3-540-74610-2_47
https://hal.inria.fr/inria-00201066
https://hal.inria.fr/inria-00201066/document
https://link.springer.com/chapter/10.1007/978-3-540-74610-2_47
https://link.springer.com/content/pdf/10.1007/978-3-540-74610-2_47.pdf
https://tel.archives-ouvertes.fr/INRIA/inria-00201066v1

Timed Concurrent Constraint Programming for Analysing Biological Systems

Autoři: Gutierrez, Julian Pérez, Jorge A. Rueda, Camilo a další

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

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

A Causal Semantics for Timed Concurrent Constraint Programming

Autoři: MAGGIOLO SCHETTINI A. TINI, SIMONE

Přístupová URL adresa: https://hdl.handle.net/11383/1490753

Two Semantics for Timed Concurrent Constraint Programming

Autoři: MAGGIOLO SCHETTINI A. TINI, SIMONE

Přístupová URL adresa: https://hdl.handle.net/11383/6188

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 Framework for Timed Concurrent Constraint Programming with External Functions

Autoři: M. Alpuente B. Gramlich A. Villanueva a další

Přispěvatelé: M. Alpuente B. Gramlich A. Villanueva a další

Zdroj: http://www.dsic.upv.es/~villanue/pub/AGV07.pdf.

Témata: Timed Concurrent Constraint language, Functional features, Case study

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.8732; http://www.dsic.upv.es/~villanue/pub/AGV07.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.108.8732
http://www.dsic.upv.es/~villanue/pub/AGV07.pdf

Timed Concurrent Constraint Programming in Systems Biology

Autoři: Ro Arbeláez Julian Gutiérrez Jorge A. Pérez a další

Přispěvatelé: Ro Arbeláez Julian Gutiérrez Jorge A. Pérez a další

Zdroj: http://homepages.inf.ed.ac.uk/s0785782/alp06.pdf.

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.2091; http://homepages.inf.ed.ac.uk/s0785782/alp06.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.2091
http://homepages.inf.ed.ac.uk/s0785782/alp06.pdf

Timed Concurrent Constraint Programming with Instantaneous Computations 4 Abstract

Autoři: M. Alpuente A B. Gramlich B A. Villanueva A a další

Přispěvatelé: M. Alpuente A B. Gramlich B A. Villanueva A a další

Zdroj: http://www.dsic.upv.es/~villanue/AGV06.pdf.

Témata: Key words, Timed Concurrent Constraint language, Functional features, Case study

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.9300; http://www.dsic.upv.es/~villanue/AGV06.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.9300
http://www.dsic.upv.es/~villanue/AGV06.pdf

DOI:10.1145/1854776.1854843 Compositional Modelling of Signalling Pathways in Timed Concurrent Constraint Programming ∗

Autoři: Davide Chiarugi Moreno Falaschi Catuscia Palamidessi a další

Přispěvatelé: Davide Chiarugi Moreno Falaschi Catuscia Palamidessi a další

Zdroj: http://hal.archives-ouvertes.fr/docs/00/54/82/13/PDF/bio-ntcc-cr.pdf.

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.231.6368
http://hal.archives-ouvertes.fr/docs/00/54/82/13/PDF/bio-ntcc-cr.pdf