Výsledky vyhledávání - Soft Concurrent Constraint Programming

Observational and behavioural equivalences for soft concurrent constraint programming Autor Gadducci, Fabio, Santini, Francesco, Pino, Luis F., Valencia, Frank D.

“…We present a labelled semantics for Soft Concurrent Constraint Programming (SCCP), a meta-language where concurrent agents may synchronise on a shared store by either posting or checking the satisfaction…”
Získat plný text

A Proof Theoretic Study of Soft Concurrent Constraint Programming Autor PIMENTEL, ELAINE, OLARTE, CARLOS, NIGAM, VIVEK

“…Concurrent Constraint Programming (CCP) is a simple and powerful model for concurrency where agents interact by telling and asking constraints…”
Získat plný text

Timed soft concurrent constraint programs: An interleaved and a parallel approach Autor BISTARELLI, STEFANO, GABBRIELLI, MAURIZIO, MEO, MARIA CHIARA, SANTINI, FRANCESCO

“…We propose a timed and soft extension of Concurrent Constraint Programming. The time extension is based on the hypothesis of bounded asynchrony…”
Získat plný text

A Proof Theoretic Study of Soft Concurrent Constraint Programming Autor Pimentel, Elaine, Olarte, Carlos, Nigam, Vivek

“…Concurrent Constraint Programming (CCP) is a simple and powerful model for concurrency where agents interact by telling and asking constraints…”
Získat plný text

Soft Concurrent Constraint Programming Autor Bistarelli, S, Montanari, U, Rossi, F

“… While there are many soft constraint solving formalisms, even distributed ones, by now there seems to be no concurrent programming framework where soft constraints can be handled…”
Získat plný text

Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach Autor Bistarelli, Stefano, Gabbrielli, Maurizio, Meo, Maria Chiara, Santini, Francesco

“…We propose a timed and soft extension of Concurrent Constraint Programming. The time extension is based on the hypothesis of bounded asynchrony…”
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

Scheduling of repetitive construction processes with concurrent work of similarly specialized crews Autor Jaskowski, Piotr, Biruk, Slawomir

“…The highest degree of construction works harmonization can be achieved when planning a repetitive project with processes replicated many times in work zones of…”
Získat plný text

Constraint programming model for resource-constrained assembly line balancing problem Autor Alakaş, Hacı Mehmet, Pınarbaşı, Mehmet, Yüzükırmızı, Mustafa

“… However, tasks may need to be processed by general resource requirements in real life. These general resources could be classified by usage of resources such as simple or multiple, alternative and concurrent…”
Získat plný text

Balancing of cost-oriented U-type general resource-constrained assembly line: new constraint programming models Autor Alakaş, Hacı Mehmet, Pınarbaşı, Mehmet

“… Two different constraint programming (CP) models that define the resource constraints as “and/or” constraint…”
Získat plný text

A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation Autor Bistarelli, Stefano, Santini, Francesco

“…We present an extension of the Soft Concurrent Constraint language that allows the nonmonotonic evolution of the constraint store…”
Získat plný text

Small-strain folding of semi-rigid elastomer derives high-performance 3D-printable soft origami actuators Autor Liu, Sicong, Chen, Fang, Duanmu, Dehao, Wang, Yaxi, Liu, Jianhui, Yang, Wenjian, Zhu, Yuming, Wu, Yige, Yi, Juan, Dai, Jian S., Wang, Zheng

“…[Display omitted] •The approach of using semi-rigid elastomer to create soft actuator is proposed…”
Získat plný text

Constraint-Based Policy Negotiation and Enforcement for Telco Services Autor Buscemi, M.G., Ferrari, L., Moiso, C., Montanari, U.

“… In this paper we show how to specify, negotiate, and enforce policies for Telco services by using a constraint-based model, the cc…”
Získat plný text

A bottom-up intra-hour proactive scheduling of thermal appliances for household peak avoiding based on model predictive control Autor Zheng, Zhuang, Pan, Jia, Huang, Gongsheng, Luo, Xiaowei

“…•MPC controller formulation with soft constraints and flat tariffs.•Minimization of high-power appliances…”
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

Supporting Selective Formalism in CSP++ with Process-Specific Storage Autor Gardner, William B., Gumtie, Alicia, Carter, John D.

“…Communicating Sequential Processes (CSP) is a formal language whose primary purpose is to model and verify concurrent systems. The CSP…”
Získat plný text

Optimal multi-reservoir network control by augmented Lagrange programming neural network Autor Sharma, V., Jha, R., Naresh, R.

Získat plný text

Reconciling fault-tolerant distributed computing and systems-on-chip Autor Függer, Matthias, Schmid, Ulrich

“…) and other Very Large Scale Integrated (VLSI) circuits: Massively concurrent, continuous computations undermine the concept of sequential processes executing sequences of atomic zero-time computing steps, and very limited computational resources at gate…”
Získat plný text

Unifying behavioral equivalences of timed transition systems Autor Virbitskaite, I. B., Gribovskaya, N. S.

“…Timed transition systems are one of the most popular real-time models for concurrency. In the paper, various behavioral equivalences of timed transition…”
Získat plný text

A fault recovery strategy of flexible interconnected distribution network with SOP flexible closed-loop operation Autor Zhao, Yuduo, Xiong, Wei, Yuan, Xufeng, Zou, Xiaosong

“…•Introduce the chance constrained programming to deal with the randomness of wind power, photovoltaic output and load…”
Získat plný text