ITIS - Artículos
Envíos recientes
-
Hybridization of Evolutionary Operators with Elitist Iterated Racing for the Simulation Optimization of Traffic Lights Programs.
(MIT Press Direct, 2023-03)In the traffic light scheduling problem, the evaluation of candidate solutions requires the simulation of a process under various (traffic) scenarios. Thus, good solutions should not only achieve good objective function ... -
Uncertainty representation in software models: a survey
(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
(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
(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
(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
(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
(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
(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
(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
(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 ... -
Supporting IoT applications deployment on edge-based infrastructures using multi-layer feature models
(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
(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
(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
(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. ... -
Specifying Quantities in Software Models
(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
(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 ...