Listar Lenguajes y Ciencias de la Computación - (LCC) por título
Mostrando ítems 353-372 de 540
-
Observations in using parallel and sequential evolutionary algorithms for automatic software testing
Alba-Torres, Enrique
; Chicano, Francisco (2014-10-01)
In this paper we analyze the application of parallel and sequential evolutionary algorithms (EAs) to the automatic test data generation problem. The problem consists of automatically creating a set of input data to test a ... -
On competitive balance in the group stage of the UEFA Champions League
Triguero-Ruiz, Francisco Andres; Avila-Cano, Antonio Jesus (Wiley, 2022-09-01)
This article examines competitive balance in the group stage of the UEFA Champions League over the last two decades (1999/2000–2017/2018). Competitive balance is considered both before and after a competition. Have the ... -
On Meme Self-Adaptation in Spatially-Structured Multimemetic Algorithms
Nogueras, Rafael; Cotta, Carlos (2014-09-23)
Multimemetic algorithms (MMAs) are memetic algorithms that explicitly exploit the evolution of memes, i.e., non-genetic expressions of problem-solving strategies. We consider a class of MMAs in which these memes are rewriting ... -
On Softening OCL Invariants
Gogolla, Martin; Vallecillo-Moreno, Antonio Jesus (Association Internationale pour les Technologies Objets (AITO), 2019-09-23)
Invariants play a crucial role in system development. This contribution focuses on invariants in systems with so-called occurrence uncertainty, where we are interested in deciding whether a certain population (a set of ... -
On the Application of SAT Solvers to the Test Suite Minimization Problem
Arito, Franco; Chicano, Francisco; Alba-Torres, Enrique (2014-10-06)
The Test Suite Minimization problem in regression testing is a software engineering problem which consists in selecting a set of test cases from a large test suite that satisfies a given condition, like maximizing the ... -
On the atomic decomposition length of graphs and tensegrities
(2013-12-03)In this study, a complexity measure for graphs and tensegrities is proposed, based on the concept of atomic decomposition.We state several results on the relationship between atomic decompositions and spaces of self-stresses ... -
On the Modular Specification of NFPs: A Case Study
Moreno-Delgado, Antonio; Troya-Castilla, Javier; Durán-Muñoz, Francisco Javier; Vallecillo-Moreno, Antonio Jesus (Jornadas de Ingeniería del Software y Bases de Datos, 2013-09)
The modular specification of non-functional properties of systems is a current challenge of Software Engineering, for which no clear solution exists. However, in the case of Domain-Specific Languages some successful proposals ... -
On the performance of some bioinspired genetic operators in complex structures evolution
Casas Serrano, María José; Vico-Vela, Francisco Jose (ACM, 2009)
Indirect encoding methods demand operators that minimize the disruption of conventional operators, widely studied in direct encoding approaches. While some efforts have already been done in this direction, the growing field ... -
On the performance of some bioinspired genetic operators in complex structures evolution (long version)
Casas, M.; Vico-Vela, Francisco Jose (2017-01-10)
Indirect encoding methods demand operators that minimize the disruption of conventional operators, widely studied in direct encoding approaches. While some efforts have already been done in this direction, the growing field ... -
On the performance of SQL scalable systems on Kubernetes: a comparative study
Cardas, Cristian; Aldana-Martín, José F.; Burgueño-Romero, Antonio M.; Nebro-Urbaneja, Antonio Jesus; Mateos, Jose M.; Sánchez, Juan J.[et al.] (2022-09-09)
The popularization of Hadoop as the the-facto standard platform for data analytics in the context of Big Data applications has led to the upsurge of SQL-on-Hadoop systems, which provide scalable query execution engines ... -
On the Quality Properties of Model Transformations: Performance and Correctness
Burgueño-Caballero, Lola (UMA Editorial, 2016)
The increasing complexity of software due to continuous technological advances has motivated the use of models in the software development process. Initially, models were mainly used as drafts to help developers understand ... -
On the Realization of TractsTool
Model transformations play an important role in Model-Driven Engineering (MDE), and as their size and complexity grow, there is an increasing need to count on tool support for testing their correctness. In this ... -
On the Use of Explainable Artificial Intelligence for the Differential Diagnosis of Pigmented Skin Lesions
Nematzadeh, Hossein; Navas-Delgado, Ismael; Berciano-Guerrero, Miguel Angel; Garcia-Nieto, Jose Manuel; Hurtado-Requena, Sandro Jose; Garcia-Nieto, Jose Manuel; Nematzadeh, Hossein[et al.] (Springer, 2022-06-08)
En los últimos años, la Inteligencia Artificial Explicable (XAI) ha atraído la atención en la analítica de datos, ya que muestra un gran potencial en la interpretación de los resultados de complejos modelos de aprendizaje ... -
On the Verification of Asynchronously Communicating Systems
(2014-04-29)Recent software is mostly constructed by reusing and composing existing components abstracted as finite state machines. Asynchronous communication is a classic interaction mechanism used for such software systems. However, ... -
One step towards dynamically programmable things: an implementation using Beacons
The number of devices connected to the internet is constantly increasing. This large amount of devices can be used to improve people’s interaction with their environment. However, this also implies an increase in the ... -
Online and Non-Parametric Drift Detection Methods Based on Hoeffding’s Bounds
Frías-Blanco, Isvani; del Campo-Ávila, José; Ramos-Jimenez, Gonzalo Pascual; Morales-Bueno, Rafael; Ortiz-Díaz, Agustín; Caballero-Mota, Yailé[et al.] (IEEE, 2015-03-01)
Incremental and online learning algorithms are more relevant in the data mining context because of the increasing necessity to process data streams. In this context, the target function may change over time, an inherent ... -
Ontology-Driven Approach for KPI Meta-modelling, Selection and Reasoning
Roldan-Garcia, Maria del Mar; Garcia-Nieto, Jose Manuel; Maté, Alejandro; Trujillo, Juan; Aldana-Montes, Jose Francisco (2022-09)
A key challenge in current Business Analytics (BA) is the selection of suitable indicators for business objectives. This requires the exploration of business data through data-driven approaches, while modelling business ... -
Optimal Assignment of Augmented Reality Tasks for Edge-Based Variable Infrastructures
Cañete, Ángel; Amor-Pinilla, Maria Mercedes; Fuentes-Fernández, Lidia (2019-12-18)
In the last few years, the number of devices connected to the Internet has increased considerably; so has the data interchanged between these devices and the Cloud, as well as energy consumption and the risk of network ... -
Optimising Humanness: Designing the best human-like Bot for Unreal Tournament 2004
Mora, Antonio M.; Gutiérrez-Rodríguez, Álvaro; Fernández-Leiva, Antonio José (Springer-Verlag, 2017)
This paper presents multiple hybridizations of the two best bots on the BotPrize 2014 competition, which sought for the best humanlike bot playing the First Person Shooter game Unreal Tournament 2004. To this aim the ... -
Optimización conjunta de la gestión de la movilidad y la capacidad en redes 5G
Ramírez-Arroyo, Alejandro; Valenzuela-Valdés, Juan Francisco; Carmona Murillo, Javier; Luna-Valero, Francisco; Valenzuela Valdés, Antonio; Padilla-de-la-Torre, Pablo[et al.] (2019-09-05)
Technology development is needed to meet users' traffic demands. From 2017 to 2022, global annual traffic growth is estimated at 220%. This annual growth leads in turn to an increase in the number of users connected to IP ...