Listar ITIS - Contribuciones a congresos científicos por título
Mostrando ítems 41-53 de 53
-
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 ... -
What helped, and what did not? An Evaluation of the Strategies to Improve Continuous Integration.
Jin, Xianhao; Servant-Cortés, Francisco Javier (IEEE, 2021)
Continuous integration (CI) is a widely used practice in modern software engineering. Unfortunately, it is also an expensive practice — Google and Mozilla estimate their CI systems in millions of dollars. There are a number ... -
Why Aren’t Regular Expressions a Lingua Franca? An Empirical Study on the Re-use and Portability of Regular Expressions.
Lee, Dongyoon; Davis, James C.; Michael IV, Louis G.; Coghlan, Christy A.; Servant-Cortés, Francisco Javier (ACM, 2019)
This paper explores the extent to which regular expressions (regexes) are portable across programming languages. Many languages offer similar regex syntaxes, and it would be natural to assume that regexes can be ported ...