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

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

A framework for abstract interpretation of timed concurrent constraint programs

Autoři: Falaschi, Moreno Olarte, Carlos Palamidessi, Catuscia

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

Zdroj: Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming. :207-218

Témata: Concurrent Constraint Programming Abstract Interpretation, Abstract interpretation, Denotational semantics, Process calculi, Reactive systems, Timed concurrent constraint programming, [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences

Popis souboru: application/pdf

Přístupová URL adresa: http://hal.inria.fr/docs/00/42/66/08/PDF/ppdp21-olarte.pdf
https://inria.hal.science/inria-00426608v1
https://inria.hal.science/inria-00426608v1/document
https://doi.org/10.1145/1599410.1599436
https://dl.acm.org/doi/10.1145/1599410.1599436
http://portal.acm.org/citation.cfm?doid=1599410.1599436
https://hal.inria.fr/inria-00426608
https://dblp.uni-trier.de/db/conf/ppdp/ppdp2009.html#FalaschiOP09
https://usiena-air.unisi.it/handle/11365/37187
https://hal.inria.fr/inria-00426608/document
https://hdl.handle.net/11365/37187
https://doi.org/10.1145/1599410.1599436

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

Timed soft concurrent constraint programs: An interleaved and a parallel approach

Autoři: BISTARELLI, Stefano Gabbrielli, Maurizio Meo, MARIA CHIARA a další

Zdroj: Theory and Practice of Logic Programming. 15:743-782

Témata: FOS: Computer and information sciences, Computer Science - Programming Languages, interleaving, parallelism, Soft Concurrent Constraint Programming, Timed Concurrent Constraint Programming, Artificial Intelligence, Software, Hardware and Architecture, Theoretical Computer Science, Computational Theory and Mathematics, Computer Science - Artificial Intelligence, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, 6. Clean water, Artificial Intelligence (cs.AI), Concurrent constraint, Concurrent constraint programming, Coordinating agents, Correctness properties, Denotational semantics, Timed concurrent constraint programming, 0202 electrical engineering, electronic engineering, information engineering, interleaving, parallelism, Soft Concurrent Constraint Programming, Timed Concurrent Constraint Programming, Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: http://arxiv.org/pdf/1403.0461
http://arxiv.org/abs/1403.0461
http://export.arxiv.org/pdf/1403.0461
https://ui.adsabs.harvard.edu/abs/2014arXiv1403.0461B/abstract
https://arxiv.org/abs/1403.0461
https://arxiv.org/pdf/1403.0461
https://arxiv.org/abs/1403.0461
https://arxiv.org/pdf/1403.0461
http://dblp.uni-trier.de/db/journals/corr/corr1403.html#BistarelliGMS14
https://dblp.uni-trier.de/db/journals/corr/corr1403.html#BistarelliGMS14
http://journals.cambridge.org/abstract_S1471068414000106

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

Automatic verification of timed concurrent constraint programs

Autoři: FALASCHI, MORENO Villanueva A. Falaschi, Moreno a další

Přispěvatelé: FALASCHI, MORENO Villanueva A. Falaschi, Moreno a další

Zdroj: Theory and Practice of Logic Programming. 6:265-300

Témata: FOS: Computer and information sciences, Model checking, Computer Science - Logic in Computer Science, Timed concurrent constraint programming, 0202 electrical engineering, electronic engineering, information engineering, Automatic verification, Reactive systems, Reactive system, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Logic in Computer Science (cs.LO)

Popis souboru: application/pdf; STAMPA

Přístupová URL adresa: http://arxiv.org/pdf/cs/0505026
http://arxiv.org/abs/cs/0505026
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/automatic-verification-of-timed-concurrent-constraint-programs/E4F105EE3B2586C974ECBF75CC1B2C35
https://dblp.uni-trier.de/db/journals/corr/corr0505.html#abs-cs-0505026
https://arxiv.org/abs/cs/0505026
https://usiena-air.unisi.it/handle/11365/26186

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

Abstract diagnosis for timed concurrent constraint programs

Autoři: COMINI, Marco TITOLO, Laura VILLANUEVA, Alicia a další

Přispěvatelé: COMINI, Marco TITOLO, Laura VILLANUEVA, Alicia a další

Zdroj: RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia
Universitat Politècnica de València (UPV)
instname

Témata: FOS: Computer and information sciences, Debugging algorithms, Computer Science - Logic in Computer Science, Abstract semantics, 68-06, 0102 computer and information sciences, 02 engineering and technology, Concurrent constraint, 01 natural sciences, Program debugging, Specifications, Program diagnostics, Concurrent constraint paradigm, D.3.3, D.3.4, F.3.1, F.3.2, D.3.1, Abstracting, 0202 electrical engineering, electronic engineering, information engineering, Abstract diagnosis, Denotational semantics, Computer Science - Programming Languages, Abstract interpretations, Illustrative examples, Abstract interpretation, Concurrent logic language, Semi-automatics, Abstract domains, Semantics, Logic in Computer Science (cs.LO), Behavior specifications, Reactive system, LENGUAJES Y SISTEMAS INFORMATICOS, Programming Languages (cs.PL)

Popis souboru: application/pdf

Přístupová URL adresa: https://riunet.upv.es/bitstream/10251/30115/6/CominiTV-2011-ICLP-riunet.pdf
http://arxiv.org/abs/1109.1587
https://riunet.upv.es/handle/10251/30115
https://hdl.handle.net/10251/30115
https://doi.org/10.1017/s1471068411000135

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

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

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

Proving correctness of timed concurrent constraint programs

Autoři: DE BOER F GABBRIELLI, MAURIZIO MEO M. C.

Zdroj: Lecture Notes in Computer Science ISBN: 9783540433668

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, D.3.1, Computer Science - Programming Languages, F.3.1, D.3.2, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, 01 natural sciences, Logic in Computer Science (cs.LO), 0202 electrical engineering, electronic engineering, information engineering, Programming Languages (cs.PL)

Přístupová URL adresa: https://link.springer.com/content/pdf/10.1007%2F3-540-45931-6_4.pdf
http://arxiv.org/abs/cs/0208042
https://link.springer.com/content/pdf/10.1007%2F3-540-45931-6_4.pdf
https://dblp.uni-trier.de/db/conf/fossacs/fossacs2002.html#BoerGM02
https://rd.springer.com/chapter/10.1007/3-540-45931-6_4
https://core.ac.uk/display/2418613
https://link.springer.com/chapter/10.1007/3-540-45931-6_4
https://dblp.uni-trier.de/db/journals/corr/corr0208.html#cs-LO-0208042
https://doi.org/10.1145/1024922.1024926
https://arxiv.org/abs/cs/0208042
https://dl.acm.org/doi/10.1145/1024922.1024926
https://cris.unibo.it/handle/11585/1529
https://hdl.handle.net/11564/109536
https://doi.org/10.1145/1024922.1024926

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

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-

Programming Robotic Devices with a Timed Concurrent Constraint Language

Autoři: Andrés René Hurtado María del Pilar Muñoz

Zdroj: Lecture Notes in Computer Science ISBN: 9783540232414

Přístupová URL adresa: https://dblp.uni-trier.de/db/conf/cp/cp2004.html#MunozH04
https://rd.springer.com/chapter/10.1007/978-3-540-30201-8_82
https://link.springer.com/content/pdf/10.1007%2F978-3-540-30201-8_82.pdf
https://link.springer.com/chapter/10.1007%2F978-3-540-30201-8_82

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

Abstract interpretation of temporal concurrent constraint programs

Autoři: Catuscia Palamidessi Carlos Olarte Moreno Falaschi a další

Přispěvatelé: Catuscia Palamidessi Carlos Olarte Moreno Falaschi a další

Zdroj: Theory and Practice of Logic Programming. 15:312-357

Témata: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], reactive systems, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Process calculi, 0202 electrical engineering, electronic engineering, information engineering, abstract interpretation, Denotational semantics, F.3.1, D.3.2, process calculi, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Abstract interpretation, timed concurrent constraint programming, process calculi, abstract interpretation, denotational semantics, reactive systems, 16. Peace & justice, Logic in Computer Science (cs.LO), Reactive systems, 13. Climate action, Timed concurrent constraint programming, timed concurrent constraint programming, denotational semantics

Popis souboru: application/pdf; STAMPA

Přístupová URL adresa: http://arxiv.org/pdf/1312.2552
http://arxiv.org/abs/1312.2552
https://inria.hal.science/hal-00945462v1
https://arxiv.org/abs/1312.2552
https://hal.archives-ouvertes.fr/hal-01271663
https://repositorio.ufrn.br/jspui/handle/123456789/29777
https://doi.org/10.1017/S1471068413000641
http://ui.adsabs.harvard.edu/abs/2013arXiv1312.2552F/abstract
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/abstract-interpretation-of-temporal-concurrent-constraint-programs/79AB54B8007AA797C1631A461FD7CE2B
https://dblp.uni-trier.de/db/journals/corr/corr1312.html#FalaschiOP13
http://journals.cambridge.org/article_S1471068413000641
https://doi.org/10.1017/S1471068413000641
https://hdl.handle.net/11365/46493

A Timed Concurrent Constraint Language: A timed concurrent constraint language.

Autoři: de Boer Frank S. Gabbrielli Maurizio MEO, MARIA CHIARA

Zdroj: Information and Computation. 161:45-83

Témata: Computational Theory and Mathematics, maximal parallelism, Theory of programming languages, Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.), Semantics in the theory of computing, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, tccp, 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/S0890540199928791
https://core.ac.uk/display/92574750
https://www.narcis.nl/publication/RecordID/oai%3Acwi.nl%3A16614
https://dblp.uni-trier.de/db/journals/iandc/iandc161.html#BoerGM00