Manuel Carro

TL;DR: The goal of this article is to compare the approaches to QoS description in the literature, where several models and metamodels are included, and to analyze where the need for further research and investigation lies.

TL;DR: An overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation is provided, and an informal overview of the language and program development environment is provided.

TL;DR: This work empirically analyzes and compares three main classes of predictive monitoring techniques, which are based on machine learning, constraint satisfaction, and Quality-of-Service (QoS) aggregation, and indicates that certain combinations of techniques may outperform individual techniques with respect to specific accuracy indicators.

TL;DR: In this paper, the authors propose to incorporate constraints into ASP, a goal-directed, top-down execution model which implements ASP while retaining logical variables both during execution and in the answer sets.

TL;DR: This paper proposes a new mechanism for implementing synchronization and communication for concurrency, based on atomic accesses to designated facts in the (shared) database, and argues that this model is comparatively easy to implement and harmonizes better than previous proposals within the Prolog control model and standard set of built-ins.