Microservices need to be composed in order to provide their customers with valuable services. To do so, event-based choreographies are used many times since they help to maintain a lower coupling among microservices. In ...

In this paper, we present a new compositional bottom-up semantics for the Timed Concurrent Constraint Language (tccp in short) which is defined for the full language. In particular, is able to deal with the non- monotonic ...

The development of powerful techniques for proving termination of rewriting modulo a set of equational axioms is essential when dealing with rewriting logic-based programming languages like CafeOBJ, Maude, ELAN, OBJ, etc. ...

[EN] In this article, we propose a symbolic technique that can be used for automatically inferring software contracts from programs that are written in a non-trivial fragment of C, called KernelC, that supports pointer-based ...

Computing generalizers is relevant in a wide spectrum of automated reasoning areas where analogical reasoning and inductive inference are needed. The ACUOS system computes a complete and minimal set of semantic generalizers ...

The water sector faces several challenges, which may demand a rethink of several important aspects within historically grown, traditional business models. The need for cost-effectiveness and the lack of public funding goes ...

This document describes a theoretical proposal for creating an Automated Virtual Data Integration system (AVDIS) based on current solutions. The proposed AVDIS aims to solve or mitigate the main problems derived from ...

Trace slicing is a widely used technique for execution trace analysis that is effectively used in program debugging, analysis and comprehension. In this paper, we present a backward trace slicing technique that can be used ...

Se describen someramente las características del proceso de fabricación del papel que tienen un impacto sobre el medio ambiente, así como la forma en la que se puede minimizar o mitigar ese impacto y las etiquetas ambientales ...

On top of the simpler ability to interact, open MAS must include mechanisms for their agents to reach agreements by taking into account their social context. Argumentation provides MAS with a framework that assures a ...