Listar ITIS - Artículos por centro "E.T.S.I. Informática"
Mostrando ítems 1-20 de 27
-
Ant-colony optimization for automating test model generation in model transformation testing.
(Elsevier, 2023-11-04)In model transformation (MT) testing, test data generation is of key importance. However, test suites are not available out of the box, and existing approaches to generate them require to provide not only the metamodel to ... -
Automatizing Software Cognitive Complexity Reduction
(IEEE Access, 2022-01-20)We model the cognitive complexity reduction of a method as an optimization problem where the search space contains all sequences of Extract Method refactoring opportunities. We then propose a novel approach that searches ... -
CMSA algorithm for solving the prioritized pairwise test data generation problem in software product lines
(Springer, 2020)In Software Product Lines (SPLs), it may be difficult or even impossible to test all the products of the family because of the large number of valid feature combinations that may exist. Thus, we want to find a minimal ... -
Dealing with Belief Uncertainty in Domain Models
(ACM, 2023)There are numerous domains in which information systems need to deal with uncertain information. These uncertainties may originate from different reasons such as vagueness, imprecision, incompleteness, or inconsistencies, ... -
Dynastic Potential Crossover Operator
(2021-12)An optimal recombination operator for two parent solutions provides the best solution among those that take the value for each variable from one of the parents (gene transmission property). If the solutions are bit strings, ... -
EARMO: An Energy-Aware Refactoring Approach for Mobile Apps
(IEEE, 2018)The energy consumption of mobile apps is a trending topic and researchers are actively investigating the role of coding practices on energy consumption. Recent studies suggest that design choices can conflict with energy ... -
Effective anytime algorithm for multiobjective combinatorial optimization problems
(Elsevier, 2021-07)In multiobjective optimization, the result of an optimization algorithm is a set of efficient solutions from which the decision maker selects one. It is common that not all the efficient solutions can be computed in a short ... -
Efficient execution of ATL model transformations using static analysis and parallelism
(2020)Although model transformations are considered to be the heart and soul of Model Driven Engineering (MDE), there are still several challenges that need to be addressed to unleash their full potential in industrial settings. ... -
Expressing Confidence in Models and in Model Transformation Elements.
(2018-10-14)The expression and management of uncertainty, both in the information and in the operations that manipulate it, is a critical issue in those systems that work with physical environments. Measurement uncertainty can be due ... -
Hybridization of Evolutionary Operators with Elitist Iterated Racing for the Simulation Optimization of Traffic Lights Programs.
(MIT Press Direct, 2023-03)In the traffic light scheduling problem, the evaluation of candidate solutions requires the simulation of a process under various (traffic) scenarios. Thus, good solutions should not only achieve good objective function ... -
Improving query performance on dynamic graphs
(Springer, 2020-11-20)Querying large models efficiently often imposes high demands on system resources such as memory, processing time, disk access or network latency. The situation becomes more complicated when data are highly interconnected, ... -
Managing Reputation in Collaborative Social Computing Applications
(AITO, 2022-06)Reputation is a fundamental concept for making decisions about service providers. However, managing reputation in peer-to-peer distributed applications is not easy due to the lack of a central server that can compute this ... -
Model Transformation Testing and Debugging: A Survey
(ACM, 2022)Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a consequence, the correctness of software systems built with MDE approaches relies mainly on the correctness ... -
Modelling Digital Avatars: a tuple space approach
(2021-01-07)The development of the Internet of Things (IoT) came with the manufacturing of a huge amount of smart things equipped with sensors for making them aware of their environment, and with network connection for allowing remote ... -
NITRO: a gadget to transform standard rollators into smart rollators for monitoring user conditions.
(2023-11-26)The goal of using a rollator is to provide physical stability, support, and increase independence while walking or performing daily activities. The decision to use a rollator is often made in consultation with healthcare ... -
NK Hybrid Genetic Algorithm for Clustering
(2018)The NK hybrid genetic algorithm for clustering is proposed in this paper. In order to evaluate the solutions, the hybrid algorithm uses the NK clustering validation criterion 2 (NKCV2). NKCV2 uses information about the ... -
Real-Time Crowd Counting based on wearable Ephemeral IDs
(SCITEPRESS, 2022)Crowd Counting is a very interesting problem aiming at counting people typically based on density averages and/or aerial images. This is very useful to prevent crowd crushes, especially on urban environments with high ... -
SALON ontology for the formal description of sequence alignments.
(BMC, 2023-02-27)Background Information provided by high-throughput sequencing platforms allows the collection of content-rich data about biological sequences and their context. Sequence alignment is a bioinformatics approach to identifying ... -
Scalable approach for high-resolution land cover: a case study in the Mediterranean Basin.
(Springer Nature, 2023-06-02)The production of land cover maps is an everyday use of image classification applications on remote sensing. However, managing Earth observation satellite data for a large region of interest is challenging in the task of ...