Výsledky vyhľadávania - timed concurrent constraint programming
-
1
Timed soft concurrent constraint programs: An interleaved and a parallel approach
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.11.2015Vydané v Theory and practice of logic programming (01.11.2015)“…We propose a timed and soft extension of Concurrent Constraint Programming. The time extension is based on the hypothesis of bounded asynchrony…”
Získať plný text
Journal Article -
2
Timed Default Concurrent Constraint Programming
ISSN: 0747-7171, 1095-855XVydavateľské údaje: Elsevier Ltd 01.11.1996Vydané v Journal of symbolic computation (01.11.1996)“…, extending the closure-operator model for untimed concurrent constraint programming (CCP). In Saraswat et al. (1994a) we had proposed a model for this called tcc…”
Získať plný text
Journal Article -
3
Abstract interpretation of temporal concurrent constraint programs
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.05.2015Vydané v Theory and practice of logic programming (01.05.2015)“…Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e…”
Získať plný text
Journal Article -
4
A Symbolic Model for Timed Concurrent Constraint Programming
ISSN: 1571-0661, 1571-0661Vydavateľské údaje: Elsevier B.V 24.04.2015Vydané v Electronic notes in theoretical computer science (24.04.2015)“…Concurrent Constraint Programming (ccp) is a model for concurrency where agents interact with each other by telling and asking constraints (i.e., formulas in logic…”
Získať plný text
Journal Article -
5
Foundations of timed concurrent constraint programming
ISBN: 9780818663109, 0818663103Vydavateľské údaje: IEEE Comput. Soc. Press 1994Vydané v Logic in Computer Science, 9th Annual IEEE Symposium (1994)“…We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way…”
Získať plný text
Konferenčný príspevok..
-
6
Automatic verification of timed concurrent constraint programs
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.05.2006Vydané v Theory and practice of logic programming (01.05.2006)“…The language Timed Concurrent Constraint (tccp) is the extension over time of the Concurrent Constraint Programming (cc…”
Získať plný text
Journal Article -
7
Timed Concurrent Constraint Programming for Analysing Biological Systems
ISSN: 1571-0661, 1571-0661Vydavateľské údaje: Elsevier B.V 05.07.2007Vydané v Electronic notes in theoretical computer science (05.07.2007)“…In this paper we present our first approach to model and verify biological systems using ntcc, a concurrent constraint process calculus…”
Získať plný text
Journal Article -
8
A Framework for Timed Concurrent Constraint Programming with External Functions
ISSN: 1571-0661, 1571-0661Vydavateľské údaje: Elsevier B.V 16.07.2007Vydané v Electronic notes in theoretical computer science (16.07.2007)“…The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems…”
Získať plný text
Journal Article -
9
Decidability of infinite-state timed CCP processes and first-order LTL
ISSN: 0304-3975, 1879-2294Vydavateľské údaje: Amsterdam Elsevier B.V 09.02.2005Vydané v Theoretical computer science (09.02.2005)“…The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL…”
Získať plný text
Journal Article Konferenčný príspevok.. -
10
A semantic framework for the abstract model checking of tccp programs
ISSN: 0304-3975, 1879-2294Vydavateľské údaje: Amsterdam Elsevier B.V 23.11.2005Vydané v Theoretical computer science (23.11.2005)“…The Timed Concurrent Constraint programming language ( tccp) introduces time aspects into the Concurrent Constraint paradigm…”
Získať plný text
Journal Article Konferenčný príspevok.. -
11
Modelling and implementing asynchronous timed multimedia frameworks using coordination principles
ISSN: 0167-739X, 1872-7115Vydavateľské údaje: Elsevier B.V 01.05.2005Vydané v Future generation computer systems (01.05.2005)“… concurrent constraint programming (OO-TCCP). The real-time extensions that have been proposed for the concurrent constraint programming framework are coupled with the object-oriented and inheritance mechanisms that have been developed for logic…”
Získať plný text
Journal Article -
12
On the expressiveness of Timed Concurrent Constraint Programming
ISSN: 1571-0661, 1571-0661Vydavateľské údaje: Elsevier B.V 1999Vydané v Electronic notes in theoretical computer science (1999)“…We prove that both the synchronous data flow language Lustre restricted to finite value types and the synchronous state oriented language Argos are embedded in the synchronous paradigm Timed Concurrent Constraint (tcc…”
Získať plný text
Journal Article -
13
Abstract diagnosis for timed concurrent constraint programs
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.07.2011Vydané v Theory and practice of logic programming (01.07.2011)“…The timed concurrent constraint language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat…”
Získať plný text
Journal Article -
14
Two semantics for Timed Default Concurrent Constraint Programming
ISSN: 1571-0661, 1571-0661Vydavateľské údaje: Elsevier B.V 1998Vydané v Electronic notes in theoretical computer science (1998)“… By applying this approach, we define two semantics for Timed Default Concurrent Constraint Programming…”
Získať plný text
Journal Article -
15
Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I
ISSN: 1571-0661, 1571-0661Vydavateľské údaje: Elsevier B.V 01.06.2001Vydané v Electronic notes in theoretical computer science (01.06.2001)“… This structure is a graph representation of the program behavior. Our basic tool is the Timed Concurrent Constraint Programming (tcc…”
Získať plný text
Journal Article -
16
A Tool for Generating a Symbolic Representation of tccp Executions
ISSN: 1571-0661, 1571-0661Vydavateľské údaje: Elsevier B.V 03.08.2009Vydané v Electronic notes in theoretical computer science (03.08.2009)“…The Timed Concurrent Constraint language (tccp) was defined by F. de Boer et al. as an extension of the Concurrent Constraint Paradigm (Saraswat, 1993…”
Získať plný text
Journal Article -
17
Abstract Model Checking of tccp programs
ISSN: 1571-0661, 1571-0661Vydavateľské údaje: Elsevier B.V 02.01.2005Vydané v Electronic notes in theoretical computer science (02.01.2005)“…The Timed Concurrent Constraint programming language (tccp) introduces time aspects into the Concurrent Constraint paradigm…”
Získať plný text
Journal Article -
18
Abstract Interpretation of Temporal Concurrent Constraint Programs
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 09.12.2013Vydané v arXiv.org (09.12.2013)“…Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e…”
Získať plný text
Paper -
19
Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 22.04.2014Vydané v arXiv.org (22.04.2014)“…We propose a timed and soft extension of Concurrent Constraint Programming. The time extension is based on the hypothesis of bounded asynchrony…”
Získať plný text
Paper -
20
Towards non-threaded Concurrent Constraint Programming for implementing multimedia interaction systems
ISSN: 2331-8422Vydavateľské údaje: Ithaca Cornell University Library, arXiv.org 11.10.2015Vydané v arXiv.org (11.10.2015)“…In this work we explain the implementation of event-driven real-time interpreters for the Concurrent Constraint Programming (CCP…”
Získať plný text
Paper