Showing papers by "Manuel Ramos-Cabrer published in 2005"
29 Mar 2005
TL;DR: AVATAR is presented, a recommender of personalized TV contents, for which an open multi-agent architecture is proposed, and this tool uses different knowledge inference strategies, even though it focuses on the description of one of them, the naive Bayesian classifiers.
Abstract: In this paper we present AVATAR, a recommender of personalized TV contents, for which an open multi-agent architecture is proposed. This tool uses different knowledge inference strategies, even though we focus on the description of one of them, the naive Bayesian classifiers. Standardization is a key issue to achieve wide deployment in this kind of systems. So, the described recommendation tool has been conceived as an application conforming to multimedia home platform (MHP) standard, to be distributed in the broadcast transport stream that will be tuned by each user's receiver. Also, the TV-Anytime specification has been used referred to the description of contents, the users preferences and their activity logs.
11 citations
Journal Article•
TL;DR: This paper presents a formal approach to automatically translate changes on the integrated system into revisions of the components and the architecture initially defined by the developers.
Abstract: The correctness of a component-based specification is not guaranteed by the correctness of its components alone; on the contrary, integration analysis is needed to observe their conjoint behavior. Existing approaches often leave the results of the analysis at the level of the integrated system, without tracing them onto the corresponding components. This effectively results in loss of architecture, as it is no longer possible to reason over those components and evolve their specification while keeping the results of integration analysis. This paper presents a formal approach to automatically translate changes on the integrated system into revisions of the components and the architecture initially defined by the developers. Several architectural alternatives are provided that, besides allowing developers to reason about the system from different points of view, promote its correct modularization in two overlapping perspectives: the encapsulation of crosscutting concerns and the elaboration of the architecture desired for the final implementation.
3 citations
15 Jun 2005
TL;DR: In this paper, the authors present a formal approach to automatically translate changes on the integrated system into revisions of the components and the architecture initially defined by the developers, allowing developers to reason about the system from different points of view.
Abstract: The correctness of a component-based specification is not guaranteed by the correctness of its components alone; on the contrary, integration analysis is needed to observe their conjoint behavior. Existing approaches often leave the results of the analysis at the level of the integrated system, without tracing them onto the corresponding components. This effectively results in loss of architecture, as it is no longer possible to reason over those components and evolve their specification while keeping the results of integration analysis.
This paper presents a formal approach to automatically translate changes on the integrated system into revisions of the components and the architecture initially defined by the developers. Several architectural alternatives are provided that, besides allowing developers to reason about the system from different points of view, promote its correct modularization in two overlapping perspectives: the encapsulation of crosscutting concerns and the elaboration of the architecture desired for the final implementation.
3 citations