Listar ITIS - Contribuciones a congresos científicos por título
Mostrando ítems 32-51 de 53
-
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 ... -
Understanding the Impact of Branch Edit Features for the Automatic Prediction of Merge Conflict Resolutions.
Aldndni, Waad; Servant-Cortés, Francisco Javier; Meng, Na (ACM, 2024)
Developers regularly have to resolve merge conflicts, i.e., two conflicting sets of changes to the same files in different branches, which can be tedious and error-prone. To resolve conflicts, developers typically: keep ... -
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 ... -
Using an Agent-Based Cellular Automaton for Emergency Evacuation Simulation
Bueno-Vallejo, David; Cotta-Porras, Carlos; Gallardo-Ruiz, José Enrique (Springer, 2024)
We consider a simulation-based approach to address crowd evacuation problems. An agent-based cellular automaton model is used to model the environment and the collective behavior of the crowd, taking into account both ... -
What Edits Are Done on The Highly Answered Questions in Stack Overflow? An Empirical Study.
Jin, Xianhao; Servant-Cortés, Francisco Javier (IEEE, 2019)
Stack Overflow is the most-widely-used online question-and-answer platform for software developers to solve problems and communicate experience. Stack Overflow believes in the power of community editing, which means that ...