Buscar
Mostrando ítems 81-90 de 136
Artículo
A Rewriting Logic Semantics for ATL
(AITO: Association Internationale pour les Technologies Objets, 2011)
As the complexity of model transformation (MT) grows, the need to rely on formal semantics of MT languages becomes a critical issue. Formal semantics provide precise speci cations of the expected behavior of transformations, ...
Ponencia
Automated Diagnosis of Feature Model Configurations
(2011)
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 involve ...
Ponencia
Designing a software framework for smart environments
(Universidad de Sevilla, 2011-06)
The purpose of this paper is to describe the cksign of a software framework to build smart environment, based in the architecture proposed and the OSGi technology. Thc Framework divides the general process in three ...
Ponencia
Residue-residue Contact Prediction based on Evolutionary Computation
(Springer, 2011)
In this study, a novel residue-residue contacts prediction approach based on evolutionary computation is presented. The prediction is based on four amino acids properties. In particular, we consider the hydrophobicity, ...
Ponencia
Aplicación de las Técnicas de Modelado y Simulación en la Gestión de Incidencias de Servicios TI
(Servizo de Publicacións da Universidade da Coruña, 2011-09)
Actualmente, cada vez son más las organizaciones de soporte TI que recurren a ITIL (Information Technology Infraestructure Library) para mejorar la gestión de las incidencias. En este trabajo se presenta un modelo de ...
Artículo
Discovery of motifs to forecast outlier occurrence in time series
(Elsevier, 2011)
The forecasting process of real-world time series has to deal with especially unexpected values, commonly known as outliers. Outliers in time series can lead to unreliable modeling and poor forecasts. Therefore, the ...
Ponencia
Estudio de la Efectividad de Tres Técnicas de Evaluación de Código: Resultados de una Serie de Experimentos
(Servizo de publicacións da Universidade da Coruña, 2011)
Hasta la fecha se han evaluado distintas técnicas de verificación y validación teórica y empíricamente. La mayoría de las evaluaciones empíricas se han llevado a cabo sin sujetos, abstrayendo el efecto del sujeto sobre ...
Ponencia
Descubrimiento de Subgrupos para predecir módulos defectuosos
(Servizo de Publicacións da Universidade da Coruña, 2011-09)
La aplicación de métodos de Minería de Datos a la Ingeniería del Software tiene una importancia creciente en distintos aspectos del ciclo de vida del software. En este trabajo presentamos una metodología para inducir reglas ...
Tesis Doctoral