ITIS - Contribuciones a congresos científicos
Envíos recientes
-
Automated planning for adaptive Cyber-Physical Systems under uncertainty in temporal availability constraints
(2024-04-15)In smart Cyber-Physical Systems (sCPS), a critical challenge lies in task planning under uncertainty. There is a broad body of work in the area with approaches able to deal with different classes of constraints (e.g., ... -
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 ... -
Policy Based Management for Security in Cloud Computing.
Waller, Adrian; Sandy, Ian; Power, Eamonn; Aivaloglou, Efthimia; Skianis, Charalampos; Maña-Gómez, Antonio; Muñoz-Gallego, Antonio Jesús[et al.] (Springer, 2011)
Este trabajo aborda la gestión basada en políticas (PBM) como una solución para la seguridad en entornos de computación en la nube. La computación en la nube, al ofrecer plataformas compartidas, plantea desafíos significativos ... -
Spatial evolutionary generative adversarial networks.
Toutouh-el-Alamin, Jamal; Hemberg, Erik; O'Reilly, Una-May (ACM, 2019-07-13)
Generative adversary networks (GANs) suffer from training pathologies such as instability and mode collapse. These pathologies mainly arise from a lack of diversity in their adversarial interactions. Evolutionary generative ... -
An efficient routing protocol for green communications in vehicular ad-hoc networks.
Toutouh-el-Alamin, Jamal; Alba-Torres, Enrique (ACM, 2011-07-12)
Vehicular ad-hoc networks (VANETs) provide the communications required to deploy Intelligent Transportation Systems (ITS). In the current state of the art there is a lack of studies on Green Communications (energy-efficiency) ... -
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 ... -
Generalizing and Unifying Gray-box Combinatorial Optimization Operators.
Gray-box optimization leverages the information available about the mathematical structure of an optimization problem to design efficient search operators. Efficient hill climbers and crossover operators have been proposed ... -
Quirk+: A Tool for Quantum Software Development Based on Quirk.
Zayas Gallardo, Javier; Moguel, Enrique; Canal-Velasco, José Carlos; García-Alonso, José (IEEE, 2024)
Quantum computing is becoming increasingly relevant. Numerous research efforts are being carried out to improve quantum computers by increasing the number of qubits in their processors, mitigating noise, etc. However, the ... -
SALON ontology for the formal description of Sequence Alignments.
Benítez-Hidalgo, Antonio; Aldana-Montes, José Francisco; Navas-Delgado, Ismael; Roldán-García, María del Mar (2023)
Background. Information provided by high-throughput sequencing platforms allows the collection of content-rich data about bio- logical sequences and their context. Sequence alignment is a bioinformatics approach to identifying ... -
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 ... -
Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata. (Summary).
Cámara-Moreno, Javier; Calinescu, Radu; Cheng, Betty H.C.; Garlan, David; Schmerl, Bradley; Troya-Castilla, Javier; Vallecillo-Moreno, Antonio Jesús[et al.] (2023)
Software-intensive systems are increasingly used to support tasks that are typically characterized by high degrees of uncertainty. The modeling notations employed to design, verify, and operate such systems have increasingly ... -
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 ... -
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 ... -
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; ... -
¿Qué es un Gemelo Digital? Una Propuesta de Arquitectura para su Implementación
En los últimos años, los gemelos digitales se han presentado como un paradigma innovador para mejorar el funcionamiento de sistemas ciberfísicos, software o procesos. El gemelo digital es una réplica virtual del sistema ... -
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 ... -
Improving Search Efficiency and Diversity of Solutions in Multiobjective Binary Optimization by Using Metaheuristics plus Integer Linear Programming.
Metaheuristics for solving multiobjective problems can provide an approximation of the Pareto front in a short time, but can also have difficulties finding feasible solutions in constrained problems. Integer linear programming ... -
Multiobjective electric vehicle charging station locations in a city scale area: Malaga study case.
This article presents a multiobjective variation of the problem of locating electric vehicle charging stations (EVCS) in a city known as the Multiobjective Electric Vehicle Charging Stations Locations (MO-EVCS-L) problem. ... -
A Conceptual Architecture for Building Digital Twins.
Digital twins have recently emerged as an innovative paradigm for improving the performance of cyber-physical systems, software and processes. In essence, a digital twin is a virtual replica of the system whose operation ... -
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, ...