Buscar
Mostrando ítems 21-30 de 35
Ponencia
Ponencia
Una Aproximación a la Gestión Automática de Alternativas de Diseño
(CEUR-WS, 2001)
La obtención, evaluación y selección de alternativas durante la fase de diseño de cualquier sistema informático son problemas muy conocidos pero, no por ello, menos complejos. Habitualmente, a la hora de realizar este ...
Ponencia
On User Preferences and Utility Functions in Selection: A Semantic Approach
(Springer, 2007)
Discovery tasks in the context of Semantic Web Services are generally performed using Description Logics. However, this formalism is not suited when non-functional, numerical parameters are involved in the discovery ...
Ponencia
An XML-Based Approach for the Automatic Verification of Software Requirements Specifications
(2001)
In this paper, we present an approach for the automatic verification of software requirements specifications. This approach is based on the representation of software requirements in XML and the usage of the XSLT language ...
Ponencia
Automatic Extraction of Semantically-Meaningful Information from the Web.
(Springer, 2002)
The semantic Web will bring meaning to the Internet,making it possible for web agents to understand the information it contains. However,curren t trends seem to suggest that the semantic web is not likely to be adopted ...
Ponencia
Comprobación Automática de Requisitos de Calidad en Sistemas Multiorganizacionales
(2001)
El uso de servicios WEB y de servidores de aplicaciones durante el desarrollo y explotación de sistemas multiorganizacionales basados en la WEB (MOWS), ha puesto de relieve algunas limitaciones de los actuales lenguajes ...
Artículo
An Hybrid, Qos-Aware Discovery of Semantic Web Services Using Constraint Programming
(Springer Verlag, 2007)
Most Semantic Web Services discovery approaches are not well suited when using complex relational, arithmetic and logical expressions, because they are usually based on Description Logics. Moreover, these kind of ...
Ponencia
Temporal-Awareness in SLAs: Why Should We Be Concerned?
(Springer, 2007-09-17)
Traditionally, Service Level Agreements have been decomposed in two sets of properties: functionals (what) and non-functionals (how). However, in our opinion, there has been a third key element that has had a minor attention ...
Ponencia
An Automated Approach for Verification of Software Requirements
(2001)
In this paper, we present an automated approach for the verification of software requirements. This approach is based on the representation of software requirements in XML and the usage of the XSLT language to automatically ...
Ponencia
Automated Diagnosis of Product-line Configuration Errors in Feature Models
(IEEE Computer Society, 2008)
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Configuration of large feature models can ...