Abstract Concurrent Constraint Programming (CCP) has been used over the last two
decades as an elegant and expressive model for concurrent systems. It models systems of …

Abstract Service Level Agreements are a key issue in Service Oriented Computing. SLA
contracts specify client requirements and service guarantees, with emphasis on Quality of …

Constraint satisfaction and constraint programming have shown to be very simple but
powerful ideas, with applications in various areas. Still, in the last ten years, the simple …

Abstract SCEL (Service Component Ensemble Language) is a new language specifically
designed to rigorously model and program autonomic components and their interaction …

We suggest semirings as a mean to parametrically represent “weighted” Argumentation
frameworks (AF): different kinds of preference levels related to arguments, eg a score …

This paper describes a new approach to computation in a semiring-based system, which
includes semiring-based CSPs (in particular weighted CSPs, fuzzy CSPs and standard …

Constraints support a programming style featuring declarative description and effective
solving of several classes of problems. Unlike basic primitives of other programming …

Service-oriented computing, an emerging paradigm for distributed computing based on the
use of services, is calling for the development of tools and techniques to build safe and …

This paper presents a coordination model, the Actor, Role and Coordinator (ARC) model, to
address three main concerns inherent in a pervasive Open Distributed and Embedded …

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 …