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

On the Expressive Power of Temporal Concurrent Constraint Programming Languages: (invited talk) Autor Palamidessi, Catuscia, Nielsen, Mogens, Valencia, Frank D.

“…The tcc paradigm is a formalism for timed concurrent constraint programming. Several tcc languages differing in their way of expressing infinite behavior have been proposed in the literature…”
Získat plný text

Abstract interpretation of temporal concurrent constraint programs Autor FALASCHI, MORENO, OLARTE, CARLOS, PALAMIDESSI, CATUSCIA

“…Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e…”
Získat plný text

Subexponential concurrent constraint programming Autor Olarte, Carlos, Pimentel, Elaine, Nigam, Vivek

“…In previous works we have shown that linear logic with subexponentials (SELL), a refinement of linear logic, can be used to specify emergent features of concurrent constraint programming (CCP…”
Získat plný text

Decidability of infinite-state timed CCP processes and first-order LTL Autor Valencia, Frank D.

“…The ntcc process calculus is a timed concurrent constraint programming (ccp) model equipped with a first-order linear-temporal logic (LTL…”
Získat plný text

A stochastic non-deterministic temporal concurrent constraint calculus Autor Olarte, C., Rueda, C.

“…We propose sntcc, a stochastic extension of the ntcc calculus, a model of temporal concurrent constraint programming with the capability of modeling asynchronous and non-deterministic timed behavior…”
Získat plný text

On validity in modelization of musical problems by CCP Autor Rueda, C., Valencia, F.

“…We show how the ntcc calculus, a model of temporal concurrent constraint programming with the capability of modeling asynchronous and non-deterministic timed behavior, can be used for modeling real musical processes…”
Získat plný text

Combining quantitative and qualitative reasoning in concurrent multi-player games Autor Bulling, Nils, Goranko, Valentin

“…We propose a general framework for modelling and formal reasoning about multi-agent systems and, in particular, multi-stage games where both quantitative and qualitative objectives and constraints are involved…”
Získat plný text

A constraint-based language for modelling intelligent environments Autor Gallardo, María-del-Mar, Lavado, Leticia, Panizo, Laura, Titolo, Laura

“… that control the evolution of the physical variables. The growing boom in intelligent environments makes the construction of complex discrete components necessary, which may require the use of more sophisticated concurrent languages…”
Získat plný text

Abstract Diagnosis for tccp using a Linear Temporal Logic Autor COMINI, MARCO, TITOLO, LAURA, VILLANUEVA, ALICIA

“… In this work, we provide an alternative automatic decision method to check whether a given property, specified in a linear temporal logic, is valid w.r.t. a tccp program. Our proposal…”
Získat plný text

Formal semantics for interactive music scores: a framework to design, specify properties and execute interactive scenarios Autor Toro, Mauricio, Desainte-Catherine, Myriam, Rueda, Camilo

“… Interactive scores (is) is a formalism based on temporal constraints to describe interactive scenarios…”
Získat plný text

A Symbolic Model for Timed Concurrent Constraint Programming Autor Arias, Jaime, Guzmán, Michell, Olarte, Carlos

“…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ískat plný text

Timed Default Concurrent Constraint Programming Autor SARASWAT, VIJAY, JAGADEESAN, RADHA, GUPTA, VINEET

“…, 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ískat plný text

Abstract Interpretation of Temporal Concurrent Constraint Programs Autor Moreno Falaschi, Olarte, Carlos, Palamidessi, Catuscia

“…Timed Concurrent Constraint Programming (tcc) is a declarative model for concurrency offering a logic for specifying reactive systems, i.e…”
Získat plný text

A temporal logic for reasoning about timed concurrent constraint programs Autor de Boer, F.S., Gabbrielli, M., Meo, M.C.

“…A temporal logic is presented for reasoning about the correctness of timed concurrent constraint programs…”
Získat plný text

Computing with continuous change Autor Gupta, V., Jagadeesan, R., Saraswat, V.A.

“… equations and real analysis on the one hand, and the theory of programming languages on the other…”
Získat plný text

Autonomous Runtime Composition of Sensor-Based Skills Using Concurrent Task Planning Autor Pane, Yudha, Mokhtari, Vahid, Aertbelien, Erwin, De Schutter, Joris, Decre, Wilm

“…Constraint-based robot programming allows for implementing sensor-based skills that react to disturbances on the one hand, and composable skills that dynamically create and reconfigure complex robot…”
Získat plný text

Compositional adjustment of concurrent programs to satisfy temporal logic constraints in MENDELS ZONE Autor Uchihira, Naoshi, Honiden, Shinichi

“… A concurrent program is modeled by a finite state process, and program adjustment to satisfy temporal logic constraints is formalized as the synthesis of an arbiter process which partially serializes target (i.e., imperfect…”
Získat plný text

Modeling Concurrent systems specified in a Temporal Concurrent Constraint language-I Autor Falaschi, Moreno, Policriti, Alberto, Villanueva, Alicia

“…In this paper we present an approach to model concurrent systems specified in a temporal concurrent constraint language…”
Získat plný text

STL and wSTL control synthesis: A disjunction-centric mixed-integer linear programming approach Autor Cardona, Gustavo A., Kamale, Disha, Vasile, Cristian-Ioan

“…) and its extension, weighted Signal Temporal Logic (wSTL). While STL captures Boolean and temporal operators, wSTL further allows users to express preferences and priorities over concurrent and sequential tasks denoted by weights over logical and temporal…”
Získat plný text

Using temporal relations to specify and test an instant messaging server Autor Hughes, John, Norell, Ulf, Sautret, J.

“…Asynchronous events are awkward to handle in specification-based testing. State machine specifications become very complex when variable event order, timing constraints, and timing uncertainties must all be captured…”
Získat plný text