Listar Lenguajes y Ciencias de la Computación - (LCC) por título
Mostrando ítems 372-391 de 568
-
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 ... -
OCPP in the spotlight: threats and countermeasures for electric vehicle charging infrastructures 4.0
Alcaraz, Cristina; Cumplido, Jesús; Triviño-Cabrera, Alicia (Springer, 2023)
Undoubtedly, Industry 4.0 in the energy sector improves the conditions for automation, generation and distribution of energy, increasing the rate of electric vehicle manufacturing in recent years. As a result, more ... -
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-Porras, 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 assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML
Camara-Moreno, Javier; Troya-Castilla, Javier; Burgueño-Caballero, Lola; Vallecillo-Moreno, Antonio Jesus (Springer, 2023)
Most experts agree that large language models (LLMs), such as those used by Copilot and ChatGPT, are expected to revo- lutionize the way in which software is developed. Many papers are currently devoted to analyzing 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 Ezeiza, Cristian; Aldana Martín, José Francisco; Burgueño Romero, Antonio Manuel; Nebro-Urbaneja, Antonio Jesus; Mateos, Jose M.; Sánchez-Martínez, Juan José[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
Bandera García, David; Perez-Vereda, Alejandro; Canal-Velasco, Jose Carlos; Pimentel-Sánchez, Ernesto (2019-06-17)
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, José 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
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 ...