Search Results - Soft Concurrent Constraint Programming

Observational and behavioural equivalences for soft concurrent constraint programming by 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…”
Get full text

A Proof Theoretic Study of Soft Concurrent Constraint Programming by 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…”
Get full text

Timed soft concurrent constraint programs: An interleaved and a parallel approach by 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…”
Get full text

A Proof Theoretic Study of Soft Concurrent Constraint Programming by 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…”
Get full text

Soft Concurrent Constraint Programming by 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…”
Get full text

Timed Soft Concurrent Constraint Programs: An Interleaved and a Parallel Approach by 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…”
Get full text

Subexponential concurrent constraint programming by 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…”
Get full text

Scheduling of repetitive construction processes with concurrent work of similarly specialized crews by 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…”
Get full text

Constraint programming model for resource-constrained assembly line balancing problem by 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…”
Get full text

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

“… Two different constraint programming (CP) models that define the resource constraints as “and/or” constraint…”
Get full text

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

“…We present an extension of the Soft Concurrent Constraint language that allows the nonmonotonic evolution of the constraint store…”
Get full text

Small-strain folding of semi-rigid elastomer derives high-performance 3D-printable soft origami actuators by 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…”
Get full text

Constraint-Based Policy Negotiation and Enforcement for Telco Services by 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…”
Get full text

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

“…•MPC controller formulation with soft constraints and flat tariffs.•Minimization of high-power appliances…”
Get full text

On validity in modelization of musical problems by CCP by 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…”
Get full text

Supporting Selective Formalism in CSP++ with Process-Specific Storage by 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…”
Get full text

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

Get full text

Reconciling fault-tolerant distributed computing and systems-on-chip by 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…”
Get full text

Unifying behavioral equivalences of timed transition systems by 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…”
Get full text

A fault recovery strategy of flexible interconnected distribution network with SOP flexible closed-loop operation by 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…”
Get full text