Envíos recientes

  • Uncertainty representation in software models: a survey 

    Troya, Javier; Moreno, Nathalie; Bertoa, Manuel F.; Vallecillo-Moreno, Antonio Jesus (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 ...
  • Improving query performance on dynamic graphs 

    Barquero, Gala; Troya, Javier; Vallecillo-Moreno, Antonio Jesus (Springer, 2020-11-20)
    Querying large models efficiently often imposes high demands on system resources such as memory, processing time, disk access or network latency. The situation becomes more complicated when data are highly interconnected, ...
  • Towards Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking 

    Luque Schempp, Francisco; Panizo, Laura; Gallardo, María del Mar; Merino-Gomez, 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 ...
  • Managing Reputation in Collaborative Social Computing Applications 

    Moreno, Nathalie; Perez-Vereda, Alejandro; Vallecillo-Moreno, Antonio Jesus (AITO, 2022-06)
    Reputation is a fundamental concept for making decisions about service providers. However, managing reputation in peer-to-peer distributed applications is not easy due to the lack of a central server that can compute this ...
  • Real-Time Crowd Counting based on wearable Ephemeral IDs 

    Morales, Daniel; Agudo-Ruiz, Isaac; López-Muñoz, Francisco Javier (SCITEPRESS, 2022)
    Crowd Counting is a very interesting problem aiming at counting people typically based on density averages and/or aerial images. This is very useful to prevent crowd crushes, especially on urban environments with high ...
  • Model Transformation Testing and Debugging: A Survey 

    Troya, Javier; Segura, Sergio; Burgueño, Lola; Wimmer, Manuel (ACM, 2022)
    Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a consequence, the correctness of software systems built with MDE approaches relies mainly on the correctness ...
  • Automatizing Software Cognitive Complexity Reduction 

    Saborido, Rubén; Ferrer, Javier; Chicano, Francisco; Alba, Enrique (IEEE Access, 2022-01-20)
    We model the cognitive complexity reduction of a method as an optimization problem where the search space contains all sequences of Extract Method refactoring opportunities. We then propose a novel approach that searches ...
  • Dynastic Potential Crossover Operator 

    Chicano, Francisco; Ochoa, Gabriela; Whitley, L. Darrell; Tinós, Renato (2021-12)
    An optimal recombination operator for two parent solutions provides the best solution among those that take the value for each variable from one of the parents (gene transmission property). If the solutions are bit strings, ...
  • Effective anytime algorithm for multiobjective combinatorial optimization problems 

    Domínguez-Ríos, Miguel Ángel; Alba-Torres, Enrique; Chicano, Francisco; Alba-Torres, Enrique (Elsevier, 2021-07)
    In multiobjective optimization, the result of an optimization algorithm is a set of efficient solutions from which the decision maker selects one. It is common that not all the efficient solutions can be computed in a short ...
  • Facilitating the monitoring and management of structural health in civil infrastructures with an Edge/Fog/Cloud architecture 

    Martín, Cristian; Garrido, Daniel; Llopis, Luis; Rubio, Bartolomé; Díaz, Manuel (Elsevier, 2021-11-03)
  • Supporting IoT applications deployment on edge-based infrastructures using multi-layer feature models 

    Cañete, Ángel; Amor-Pinilla, Maria Mercedes; Fuentes, Lidia (Elsevier, 2022-01)
    Edge Computing proposes to use the nearby devices in the frontier/Edge of the access network for deploying application tasks of IoT-based systems. However, the functionality of such cyber–physical systems, which is usually ...
  • A model-driven framework for developing android-based classic multiplayer 2D board games 

    Derakhshandi, Mohammad; Kolahdouz-Rahimi, Shekoufeh; Troya, Javier; Lano, Kevin (Springer, 2021)
    Mobile applications and game development are attractive fields in software engineering. Despite the advancement of programming languages and integrated development environments, there have always been many challenges for ...
  • Modelling Digital Avatars: a tuple space approach 

    Perez-Vereda, Alejandro; Canal-Velasco, Jose Carlos; Pimentel, Ernesto (2021-01-07)
    The development of the Internet of Things (IoT) came with the manufacturing of a huge amount of smart things equipped with sensors for making them aware of their environment, and with network connection for allowing remote ...
  • Efficient execution of ATL model transformations using static analysis and parallelism 

    Sánchez Cuadrado, Jesús; Burgueño, Loli; Wimmer, Manuel; Vallecillo-Moreno, Antonio Jesus (2020)
    Although model transformations are considered to be the heart and soul of Model Driven Engineering (MDE), there are still several challenges that need to be addressed to unleash their full potential in industrial settings. ...
  • Interconnecting IoT devices to improve the QoL of elderly people 

    Flores-Martín, Daniel; Pérez-Vereda, Alejandro; Berrocal, Javier; Canal-Velasco, Jose Carlos; Murillo, Juan M. (2020-06-15)
    The rate at which the Internet is growing is unstoppable due to the large number of connected smart devices. Manufacturers often develop specific protocols for their own devices that do not usually follow any standards. ...
  • Specifying Quantities in Software Models 

    Burgueño, Loli; Mayerhofer, Tanja; Wimmer, Manuel; Vallecillo-Moreno, Antonio Jesus (2020-06-08)
    Context: An essential requirement for the design and development of any engineering application that deals with real-world physical systems is the formal representation and processing of physical quantities, comprising ...
  • Incorporating Measurement Uncertainty into OCL/UML Primitive Datatypes 

    Fernández-Bertoa, Manuel; Burgueño, Loli; Moreno, Nathalie; Vallecillo-Moreno, Antonio Jesus (2020-06-01)
    The correct representation of the relevant properties of a system is an essential requirement for the effective use and wide adoption of model-based practices in industry. Uncertainty is one of the inherent properties of ...