Listar ITIS - Contribuciones a congresos científicos por título
Mostrando ítems 28-47 de 53
-
Key-Value vs Graph-based data lakes for realizing Digital Twin systems
Pérez Porras, Daniel; Muñoz Ariza, Paula; Vallecillo-Moreno, Antonio Jesús
; Troya-Castilla, Javier (2022-07-05)
Digital twins constitute virtual representations of physically existing systems, synchronized at a specified frequency and fidelity. One way to connect physical and digital twins is through data lakes, which are efficient ... -
Modeling Urban Digital Twins over the Cloud-to-Thing Continuum
The interest in the development of smart cities and the proliferation of digital twins as a powerful information processing technology have lead to the definition of Urban Digital Twins (UDTs). UDTs model city aspects such ... -
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. ... -
Optimization-Driven Workplace Evacuation using Evolutionary Algorithms and Derivative-Free Methods
Cotta-Porras, Carlos (ACM, 2024)
We consider the problem of optimizing the evacuation of a workplace environment by deciding the best arrangement of emergency exits. To this end, we consider a simulation-based approach that relies on the use of cellular ... -
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 ... -
¿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 ... -
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 ... -
Regexes are Hard: Decision-making, Difficulties, and Risks in Programming Regular Expressions.
Michael IV, Louis G.; Donohue, James; Davis, James C.; Lee, Dongyoon; Servant-Cortés, Francisco Javier (IEEE, 2019)
Regular expressions (regexes) are a powerful mechanism for solving string-matching problems. They are supported by all modern programming languages, and have been estimated to appear in more than a third of Python and ... -
Resilient Bioinspired Algorithms: A Computer System Design Perspective
Cotta-Porras, Carlos; Oague, Gustavo (SpringerLink, 2022)
Resilience can be defined as a system's capability for returning to normal operation after having suffered a disruption. This notion is of the foremost interest in many areas, in particular engineering. We argue in this ... -
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 ... -
SOWCompact: A federated process mining method for social workflows
Rojo, Javier; Hernández, Juan; García-Alonso, José Manuel; Berrocal, Javier; Murillo, Juan Manuel; Canal-Velasco, José Carlos[et al.] (SISTEDES, 2022-09)
The growing informatization of the environment allows modeling people’s behavior as a social workflow, where both individual actions and interactions with other people are captured. This modelling includes actions that are ... -
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 ... -
Supporting Bug Investigation using History Analysis.
Servant-Cortés, Francisco Javier (Institute of Electrical and Electronics Engineers (IEEE), 2013)
In my research, I propose an automated technique to support bug investigation by using a novel analysis of the history of the source code. During the bug-fixing process, developers spend a high amount of manual effort ... -
The Hidden Cost of Code Completion: Understanding the Impact of the Recommendation-list Length on its Efficiency.
Jin, Xianhao; Servant-Cortés, Francisco Javier (ACM, 2018)
Automatic code completion is a useful and popular technique that software developers use to write code more effectively and efficiently. However, while the benefits of code completion are clear, its cost is yet not well ... -
The Impact of Regular Expression Denial of Service (ReDoS) in Practice: An Empirical Study at the Ecosystem Scale.
Davis, James C.; Coghlan, Christy A.; Servant-Cortés, Francisco Javier; Lee, Dongyoon (Association for Computing Machinery (ACM), 2018)
Regular expressions (regexes) are a popular and powerful means of automatically manipulating text. Regexes are also an understudied denial of service vector (ReDoS). If a regex has super-linear worst-case complexity, an ... -
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 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 ... -
Understanding and Leveraging Developer Inexpertise.
Claytor, Lykes; Servant-Cortés, Francisco Javier (ACM, 2018)
In my research, I propose an automated technique to support bug investigation by using a novel analysis of the history of the source code. During the bug-fixing process, developers spend a high amount of manual effort ...