Listar ITIS - Artículos por título
Mostrando ítems 41-60 de 144
-
Distributed digital twins on the open-source OpenTwins framework
Infante, Sergio; Robles, Julia; Martín-Fernández, Cristian
; Rubio-Muñoz, Bartolomé; Díaz-Rodríguez, Manuel (Elsevier, 2025-03)
With the continuous evolution of digital twins, the requirements of interconnection and interoperability have led to the creation of the term Distributed Digital Twin, where commonly, different components of the same digital ... -
Dynastic Potential Crossover Operator
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, ... -
E-Science workflow: A semantic approach for airborne pollen prediction
Hurtado-Requena, Sandro José; Antequera-Gómez, María Luisa; Barba-González, Cristóbal; Picornell Rodríguez, Antonio; Navas-Delgado, Ismael (Elsevier, 2024-01)
Allergic rhinitis has become a global health problem in recent decades because airborne pollen is a primary trigger of this respiratory disorder. Moreover, pollinosis can exacerbate the symptoms of asthma and favour ... -
EARMO: An Energy-Aware Refactoring Approach for Mobile Apps
Morales, Rodrigo; Saborido Infantes, Rubén; Khomh, Foutse; Chicano-García, José-Francisco; Antoniol, Giuliano (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
Domínguez-Ríos, Miguel Ángel; Alba-Torres, Enrique; Chicano-García, José-Francisco; Alba-Torres, Enrique (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
Sánchez Cuadrado, Jesús; Burgueño-Caballero, Lola; Wimmer, Manuel; Vallecillo-Moreno, Antonio Jesús (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. ... -
Empirical analysis of the tool support for software product lines
Horcas-Aguilera, José Miguel; Pinto-Alarcón, Mónica; Fuentes-Fernández, Lidia (Springer, 2022-06-08)
For the last ten years, software product line (SPL) tool developers have been facing the implementation of different variability requirements and the support of SPL engineering activities demanded by emergent domains. ... -
Enabling DSRC and C-V2X Integrated Hybrid Vehicular Networks: Architecture and Protocol
Hameed Mir, Zeeshan; Toutouh-el-Alamin, Jamal; Filali, Fethi; Ko, Young-Bae (IEEE, 2020-10-05)
Emerging Vehicle-to-Everything (V2X) applications such as Advanced Driver Assistance Systems (ADAS) and Connected and Autonomous Driving (CAD) requires an excessive amount of data by vehicular sensors, collected, processed, ... -
Engineering software for next-generation networks in a sustainable way.
Fuentes-Fernández, Lidia (2024)
The virtualization and softwarization of network functions is the networking industry's latest achievement. Software-Defined Networks (SDN) and Network Function Virtualization (NFV) propose novel software architectures and ... -
Ensemble-based genetic algorithm explainer with automized image segmentation: A case study on melanoma detection dataset
Nematzadeh, Hossein; García-Nieto, José Manuel; Navas-Delgado, Ismael; Aldana-Montes, José Francisco (Elsevier, 2023)
Explainable Artificial Intelligence (XAI) makes AI understandable to the human user particularly when the model is complex and opaque. Local Interpretable Model-agnostic Explanations (LIME) has an image explainer package ... -
Evolver: Meta-optimizing multi-objective metaheuristics.
Aldana Martín, José Francisco; Durillo, Juan J.; Nebro-Urbaneja, Antonio Jesús (Elsevier, 2023-10-10)
Evolver is a tool based on the formulation of the automatic configuration and design of multi-objective metaheuristics as a multi-objective optimization problem that can be solved by using the same kind of algorithms; i.e., ... -
Exact and heuristic approaches for multi-objective garbage accumulation points location in real scenarios.
Rossit, Diego Gabriel; Toutouh-el-Alamin, Jamal; Nesmachnow, Sergio (Elsevier, 2020-03-15)
Municipal solid waste management is a major challenge for nowadays urban societies, because it accounts for a large proportion of public budget and, when mishandled, it can lead to environmental and social problems. This ... -
Exploring the interaction of design variability and stochastic operational uncertainties in software-intensive systems through the lens of modeling
Cámara-Moreno, Javier (Springer, 2024)
In software-intensive systems, navigating the complexities that emerge from the interaction of design variability and stochastic operational uncertainties presents a daunting challenge. This paper delves into the dynamics ... -
Expressing Confidence in Models and in Model Transformation Elements.
Burgueño-Caballero, Lola; Bertoa, Manuel F.; Moreno, Nathalie; Vallecillo-Moreno, Antonio Jesús (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 ... -
Facing robustness as a multi-objective problem: A bi-objective shortest path problem in smart regions
Cintrano López, Christian; Chicano-García, José-Francisco; Alba-Torres, Enrique (Elsevier, 2019-11)
The goal in Robust Optimization is to optimize not only the quality of the solutions but also the variation of this quality with the uncertain parameters of the optimization problem. We propose a robust model for the ... -
Fast and Accurate Incremental Feedback for Students’ Software Tests Using Selective Mutation Analysis.
Kazerouni, Ayaan M.; Davis, James C.; Basak, Arinjoy; Shaffer, Clifford A.; Servant-Cortés, Francisco Javier; Edwards, Stephen H.[et al.] (Elsevier, 2021)
As incorporating software testing into programming assignments becomes routine, educators have begun to assess not only the correctness of students’ software, but also the adequacy of their tests. In practice, educators ... -
Fast energy-aware OLSR routing in VANETs by means of a parallel evolutionary.
Toutouh-el-Alamin, Jamal; Nesmachnow, Sergio; Alba-Torres, Enrique (2012-04-27)
This work tackles the problem of reducing the power consumption of the OLSR routing protocol in vehicular networks. Nowadays, energy-aware and green communication protocols are important research topics, specially when ... -
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis
Oakes, Bentley James; Troya-Castilla, Javier; Galasso, Jessie; Wimmer, Manuel (Springer Nature, 2023-09-29)
The verification of model transformations is important for realizing robust model-driven engineering technologies and quality-assured automation. Many approaches for checking properties of model transformations have been ... -
Feature selection using a classification error impurity algorithm and an adaptive genetic algorithm improved with an external repository
Nematzadeh, Hossein; García-Nieto, José Manuel; Navas-Delgado, Ismael; Aldana-Montes, José Francisco (Elsevier, 2024)
Feature selection in small-sample high-dimensional datasets enhances classification accuracy and reduces computational time for model training. This paper introduces the filter Classification Error Impurity (CEI) as a ...