ITIS - Contribuciones a congresos científicos
Envíos recientes
-
Quirk+: A Tool for Quantum Software Development Based on Quirk.
(IEEE, 2024)Quantum computing is becoming increasingly relevant. Numerous research efforts are being carried out to improve quantum computers by increasing the number of qubits in their processors, mitigating noise, etc. However, the ... -
SALON ontology for the formal description of Sequence Alignments.
(2023)Background. Information provided by high-throughput sequencing platforms allows the collection of content-rich data about bio- logical sequences and their context. Sequence alignment is a bioinformatics approach to identifying ... -
e-LION: Data integration semantic model to enhance predictive analytics in e-Learning.
(Sistedes, 2023)The surge in online education emphasizes Learning Management Systems' (LMSs) crucial role in organizing learning resources and enabling teacher-learner communication. COVID-19 accelerated this, spiking engagement and ... -
Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata. (Summary).
(2023)Software-intensive systems are increasingly used to support tasks that are typically characterized by high degrees of uncertainty. The modeling notations employed to design, verify, and operate such systems have increasingly ... -
DASSCi: Avatares Digitales Deportivos en Ciudades Inteligentes.
(2023)Las nuevas tecnologías han impulsado la evolución de las ciudades inteligentes, las cuales buscan mejorar la calidad de vida de sus habitantes y optimizar la gestión de recursos urbanos a través de soluciones innovadoras ... -
Towards an Extensible Architecture and Tool Support for Model-based Verification.
(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 ... -
Dealing with Belief Uncertainty in Domain Models.
(2023)There are numerous domains in which information systems need to deal with uncertain information. These uncertainties may originate from different reasons such as vagueness, imprecision, incompleteness or inconsistencies; ... -
¿Qué es un Gemelo Digital? Una Propuesta de Arquitectura para su Implementación
(2023)En los últimos años, los gemelos digitales se han presentado como un paradigma innovador para mejorar el funcionamiento de sistemas ciberfísicos, software o procesos. El gemelo digital es una réplica virtual del sistema ... -
Clasificación de delitos con incertidumbre
(2023)La clasificación de atestados policiales es un tema complejo en el que la incertidumbre juega un papel importante. Por ejemplo, en muchos informes faltan información o es inconsistente. También es posible que diferentes ... -
Improving Search Efficiency and Diversity of Solutions in Multiobjective Binary Optimization by Using Metaheuristics plus Integer Linear Programming.
(2023)Metaheuristics for solving multiobjective problems can provide an approximation of the Pareto front in a short time, but can also have difficulties finding feasible solutions in constrained problems. Integer linear programming ... -
Multiobjective electric vehicle charging station locations in a city scale area: Malaga study case.
(2022)This article presents a multiobjective variation of the problem of locating electric vehicle charging stations (EVCS) in a city known as the Multiobjective Electric Vehicle Charging Stations Locations (MO-EVCS-L) problem. ... -
A Conceptual Architecture for Building Digital Twins.
(2023)Digital twins have recently emerged as an innovative paradigm for improving the performance of cyber-physical systems, software and processes. In essence, a digital twin is a virtual replica of the system whose operation ... -
Diseño de servicios cuánticos a través de la especificación AsyncAPI
(2023)La computación cuántica ha evolucionado de ser una idea teórica a convertirse en una realidad tangible. Aunque no es posible acceder directamente a un ordenador cuántico de la misma manera que a los ordenadores convencionales, ... -
Modeling Urban Digital Twins over the Cloud-to-Thing Continuum
(2023)The interest in the development of smart cities and the proliferation of digital twins as a powerful information processing technology have lead to the definition of Urban Digital Twins (UDTs). UDTs model city aspects such ... -
Fourier Transform-based Surrogates for Permutation Problems
(2023)In the context of pseudo-Boolean optimization, surrogate functions based on the Walsh-Hadamard transform have been recently proposed with great success. It has been shown that lower-order components of the Walsh-Hadamard ... -
Detecting Feature Influences to Quality Attributes in Large and Partially Measured Spaces using Smart Sampling and Dynamic Learning
(2023)Emergent application domains (e.g., Edge Computing/Cloud /B5G systems) are complex to be built manually. They are characterised by high variability and are modelled by large \textit{Variability Models} (VMs), leading to ... -
Towards the Integration of Digital Avatars in Urban Digital Twins on the Cloud-to-Thing Continuum
(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 ... -
Extended Variability Models, Algebra, and Arithmetic
(2023)Although classic variability models have been traditionally used to specify members of a product-line, their level of expressiveness was quite limited. Several extensions have been proposed, like numerical features, complex ... -
Crazy Chefs!: videojuego serio gamificado basado en tecnología de captura de movimientos para fomentar la socialización y el entrenamiento físico de personas mayores
(CEUR Workshop Proceedings, 2022-12)Uno de los principales objetivos del programa marco de la UE Horizon Europa persigue mejorar la salud y el bienestar de los ciudadanos usando soluciones innovadoras para prevenir, diagnosticar, tratar o curar una enfermedad. ... -
Defining Categorical Reasoning of Numerical Feature Models with Feature-Wise and Variant-Wise Quality Attributes
(ACM, 2022)Automatic analysis of variability is an important stage of Software Product Line (SPL) engineering. Incorporating quality information into this stage poses a significant challenge. However, quality-aware automated analysis ...