Listar Instituto de Tecnología e Ingeniería del Software de la Universidad de Málaga - (ITIS) por título
Mostrando ítems 21-40 de 111
-
AVISPA in the Validation of Ambient Intelligence Scenarios.
Muñoz-Gallego, Antonio Jesús
; Maña-Gómez, Antonio; Serrano, Daniel (IEEE, 2009)
El artículo presenta una investigación centrada en la validación de escenarios de inteligencia ambiental (AmI) utilizando AVISPA, una herramienta de modelado y verificación automática de protocolos de seguridad. Los entornos ... -
Belief Uncertainty in Software Models
Burgueño-Caballero, Lola; Clarisó, Robert; Cabot, Jordi; Gérard, Sébastien; Vallecillo-Moreno, Antonio Jesús (2020-06-08)
This paper discusses the representation of Belief Uncertainty in software models. This kind of uncertainty refers to the situation in which the modeler, or any other belief agent, is uncertain about the behavior of the ... -
BiPred: A Bilevel Evolutionary Algorithm for Prediction in Smart Mobility.
Toutouh-el-Alamin, Jamal; Arellano-Verdejo, Javier; Alba-Torres, Enrique (MDPI, 2018-11-24)
This article develops the design, installation, exploitation, and final utilization of intelligent techniques, hardware, and software for understanding mobility in a modern city. We focus on a smart-campus initiative in ... -
Clasificación de delitos con incertidumbre
La clasificación de atestados policiales es un tema complejo en el que la incertidumbre juega un papel importante. Por ejemplo, en muchos informes faltan información o es inconsistente. También es posible que diferentes ... -
Clinical Considerations Derived From the Administration of Melatonin to Children With Sleep Disorders
Checa-Ros, Ana; Muñoz-Gallego, Antonio Jesús; Muñoz-Gallego, María de los Ángeles; Molina-Carballo, Antonio; Narbona-Galdó, Susana; Jerez-Calero, Antonio; Augustín-Morales, María del Carmen; Muñoz-Hoyos, Antonio[et al.] (Elsevier, 2019)
El artículo analiza el uso de la melatonina en el tratamiento de trastornos del sueño en niños. A pesar de la abundante investigación sobre la melatonina, aún existen preguntas sin resolver sobre sus patrones de secreción ... -
Coevolutionary generative adversarial networks for medical image augumentation at scale
Flores, Diana; Toutouh-el-Alamin, Jamal; Hemberg, Erik; O’Reilly, Una-May (2022-07-08)
Medical image processing can lack images for diagnosis. Generative Adversarial Networks (GANs) provide a method to train generative models for data augmentation. Synthesized images can be used to improve the robustness of ... -
Continuous QoS-compliant Orchestration in the Cloud-Edge Continuum.
Bisicchia, Giuseppe; Forti, Stefano; Pimentel-Sánchez, Ernesto; Brogi, Antonio (Wiley, 2024)
The problem of managing multi-service applications on top of Cloud-Edge networks in a quality of service (QoS)-aware manner has been thoroughly studied in recent years from a decision-making perspective. However, only a ... -
Crazy Chefs!: videojuego serio gamificado basado en tecnología de captura de movimientos para fomentar la socialización y el entrenamiento físico de personas mayores
Bossavit, Benoit; Urbano, Juan Miguel ; Fernández-Leiva, Antonio José (CEUR Workshop Proceedings, 2022-12)
Uno de los principales objetivos del programa marco de la UE Horizon Europa persigue mejorar la salud y el bienestar de los ciudadanos usando soluciones innovadoras para prevenir, diagnosticar, tratar o curar una enfermedad. ... -
DASSCi: Avatares Digitales Deportivos en Ciudades Inteligentes.
Toro-Gálvez, Lorenzo; Moreno-Vergara, Natalia; Canal-Velasco, José Carlos; Troya-Castilla, Javier (2023)
Las nuevas tecnologías han impulsado la evolución de las ciudades inteligentes, las cuales buscan mejorar la calidad de vida de sus habitantes y optimizar la gestión de recursos urbanos a través de soluciones innovadoras ... -
Dealing with Belief Uncertainty in Domain Models
Burgueño-Caballero, Lola; Muñoz, Paula; Clarisó, Robert; Cabot, Jordi; Gérard, Sébastien; Vallecillo-Moreno, Antonio Jesús[et al.] (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, ... -
Dealing with Belief Uncertainty in Domain Models.
Burgueño-Caballero, Lola; Muñoz Ariza, Paula; Clarisó, Robert; Cabot, Jordi; Gérard, Sébastien; Vallecillo-Moreno, Antonio Jesús[et al.] (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; ... -
Defining Categorical Reasoning of Numerical Feature Models with Feature-Wise and Variant-Wise Quality Attributes
Muñoz-Guerra, Daniel Jesús; Pinto-Alarcón, Mónica; Gurov, Dilian; Fuentes-Fernández, Lidia (ACM, 2022)
Automatic analysis of variability is an important stage of Software Product Line (SPL) engineering. Incorporating quality information into this stage poses a significant challenge. However, quality-aware automated analysis ... -
Detecting Feature Influences to Quality Attributes in Large and Partially Measured Spaces using Smart Sampling and Dynamic Learning
Emergent application domains (e.g., Edge Computing/Cloud /B5G systems) are complex to be built manually. They are characterised by high variability and are modelled by large \textit{Variability Models} (VMs), leading to ... -
Digital Avatars for Older People’s Care
Fernández-Bertoa, Manuel; Moreno, Nathalie; Perez-Vereda, Alejandro; Bandera García, David; Álvarez-Palomo, José María; Canal-Velasco, José Carlos[et al.] (2020-06-17)
The continuous increase in life expectancy poses a challenge for health systems in modern societies, especially with respect to older people living in rural low-populated areas, both in terms of isolation and difficulty ... -
Diseño de servicios cuánticos a través de la especificación AsyncAPI
Casco Seco, Jorge; Alvarado-Valiente, Jaime; Romero-Alvarez, Javier; Moguel, Enrique; García-Alonso, José; Canal-Velasco, José Carlos; Murillo, Juan M.[et al.] (2023)
La computación cuántica ha evolucionado de ser una idea teórica a convertirse en una realidad tangible. Aunque no es posible acceder directamente a un ordenador cuántico de la misma manera que a los ordenadores convencionales, ... -
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-LION: Data integration semantic model to enhance predictive analytics in e-Learning.
Paneque Romero, Manuel; Roldán-García, María del Mar; García-Nieto, José Manuel (Sistedes, 2023)
The surge in online education emphasizes Learning Management Systems' (LMSs) crucial role in organizing learning resources and enabling teacher-learner communication. COVID-19 accelerated this, spiking engagement and ... -
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 ...