Listar Instituto de Tecnología e Ingeniería del Software de la Universidad de Málaga - (ITIS) por título
Mostrando ítems 97-111 de 111
-
Testing models and model transformations using classifying terms.
Hilken, Frank; Gogolla, Martin; Burgueño-Caballero, Lola
; Vallecillo-Moreno, Antonio Jesús (2016-11-09)
This paper proposes the use of equivalence partitioning techniques for testing models and model transformations. In particular, we introduce the concept of classifying terms, which are general OCL terms on a class model ... -
The Uncertainty Interaction Problem in Self-Adaptive Systems
(Springer, 2022-08-17)The problem of mitigating uncertainty in self-adaptation has driven much of the research proposed in the area of software engineering for self-adaptive systems in the last decade. Although many solutions have already been ... -
Tile map size optimization for real world routing by using differential evolution
Camero, Andrés; Arellano-Verdejo, Javier; Cintrano López, Christian; Alba-Torres, Enrique (IEEE, 2017-06)
Finding the shortest path between two places is a well known problem in road traveling. While most of the work done up to this moment is focused on algorithmics, efficiently managing the information has received significantly ... -
TITAN: A knowledge-based platform for Big Data workflow management
Benítez-Hidalgo, Antonio; Barba-González, Cristóbal; García-Nieto, José Manuel; Gutiérrez-Moncayo, Pedro; Paneque, Manuel; Nebro-Urbaneja, Antonio Jesús; Roldán-García, María del Mar; Aldana-Montes, José Francisco; Navas-Delgado, Ismael[et al.] (2022)
Modern applications of Big Data are transcending from being scalable solutions of data processing and analysis, to now provide advanced functionalities with the ability to exploit and understand the underpinning knowledge. ... -
Towards an Extensible Architecture and Tool Support for Model-based Verification.
Delgado Camacho, David Eduardo; Burgueño-Caballero, Lola; Cámara-Moreno, Javier; Troya-Castilla, Javier (2023)
Model-based software engineering (MBSE) brings models to the center of software and system design. Models are powerful abstractions used to support all phases of the software development life cycle of complex software. As ... -
Towards Secure Agent Computing for Ubiquitous Computing and Ambient Intelligence
Muñoz-Gallego, Antonio Jesús; Maña-Gómez, Antonio; Serrano, Daniel (Springer, 2007-07-11)
El trabajo presenta una revisión exhaustiva de la evolución de los sistemas multiagente y analiza por qué estos sistemas no han sido ampliamente adoptados fuera de escenarios de investigación, señalando que la falta de ... -
Towards the Integration of Digital Avatars in Urban Digital Twins on the Cloud-to-Thing Continuum
Toro-Gálvez, Lorenzo; García-Luque, Rafael; Troya-Castilla, Javier; Canal-Velasco, José Carlos; Pimentel-Sánchez, Ernesto (2023-06)
Urban Digital Twins (UDTs) represent a powerful tool to effectively make cities smart. Over the last few years, the interest in the social aspects of smart cities is growing fast. For this reason, citizens must be considered ... -
Towards using Few-Shot Prompt Learning for Automating Model Completion
BenChaaben, Meriem; Burgueño-Caballero, Lola; Sahraoui, Houari (IEEE, 2023)
We propose a simple yet a novel approach to improve completion in domain modeling activities. Our approach exploits the power of large language models by using few-shot prompt learning without the need to train or fine-tune ... -
Towards Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking
Luque Schempp, Francisco; Panizo-Jaime, Laura; Gallardo-Melgarejo, María del Mar; Merino-Gómez, Pedro; Rivas, Francisco Javier (IEEE, 2022)
The need to increase mobility and to remove cables in industrial environments is pushing 5G as a valuable communication system to connect traditional deterministic Ethernet-based devices. One alternative is the adoption ... -
TPM-based protection for mobile agents.
Muñoz-Gallego, Antonio Jesús; Maña-Gómez, Antonio (Wiley, 2010)
El artículo titulado aborda el uso de la tecnología de módulos de plataforma confiable (TPM) para proteger agentes móviles en entornos de computación distribuida y ubicua. Se presenta una solución basada en hardware para ... -
Uncertainty representation in software models: a survey
Troya-Castilla, Javier; Moreno, Nathalie; Bertoa, Manuel F.; Vallecillo-Moreno, Antonio Jesús (Springer, 2021-01-08)
This paper provides a comprehensive overview and analysis of research work on how uncertainty is currently represented in software models. The survey presents the definitions and current research status of different proposals ... -
Unsupervised Detection of Incoming and Outgoing Traffic Flows in Video Sequences.
Fernández-Rodríguez, Jose David; Carmona-Martínez, Pablo; Benítez-Rochel, Rafaela; Molina-Cabello, Miguel Ángel; López-Rubio, Ezequiel (Springer, 2024)
As traffic cameras become prevalent, and a considerable amount of traffic videos are stored for various purposes, new possibilities and challenges open in the automatic analysis of traffic scenes. Advances in deep ... -
Use of an ANN to Value MTF and Melatonin Effect on ADHD Affected Children
Muñoz-Gallego, Antonio Jesús; Palomo-Ferrer, Esteban José; Jerez-Calero, Antonio (IEEE, 2019-08-26)
El estudio se centra en niños con TDAH que suelen sufrir trastornos del sueño como comorbilidad frecuente. Se utilizó una red neuronal de tipo Growing Neural Forest (GNF), que es una variante del modelo Growing Neural Gas ... -
Using metaheuristics for the location of bicycle stations
Cintrano López, Christian; Chicano-García, José-Francisco; Alba-Torres, Enrique (Elsevier, 2020)
In this work, we solve the problem of finding the best locations to place stations for depositing/collecting shared bicycles. To do this, we model the problem as the p-median problem, that is a major existing localization ... -
XACML as a Security and Dependability Pattern for Access Control in AmI environments
Muñoz-Gallego, Antonio Jesús; Sánchez-Cid, Francisco; El Khoury, Paul; Compagna, Luca (Springer-Verlag France, 2008)
En este trabajo, se aborda el uso del modelo de control de acceso XACML como un patrón de seguridad y confiabilidad en entornos de inteligencia ambiental (AmI). Estos entornos, caracterizados por redes de interfaces ...