Listar ITIS - Contribuciones a congresos científicos por fecha de publicación
Mostrando ítems 1-20 de 29
-
Belief Uncertainty in Software Models
(2020-06-08)This paper discusses the representation of Belief Uncertainty in software models. This kind of uncertainty refers to the situation in which the modeler, or any other belief agent, is uncertain about the behavior of the ... -
Digital Avatars for Older People’s Care
(2020-06-17)The continuous increase in life expectancy poses a challenge for health systems in modern societies, especially with respect to older people living in rural low-populated areas, both in terms of isolation and difficulty ... -
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 ... -
Resilient Bioinspired Algorithms: A Computer System Design Perspective
(SpringerLink, 2022)Resilience can be defined as a system's capability for returning to normal operation after having suffered a disruption. This notion is of the foremost interest in many areas, in particular engineering. We argue in this ... -
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. ... -
TITAN: A knowledge-based platform for Big Data workflow management
(2022)Modern applications of Big Data are transcending from being scalable solutions of data processing and analysis, to now provide advanced functionalities with the ability to exploit and understand the underpinning knowledge. ... -
Key-Value vs Graph-based data lakes for realizing Digital Twin systems
(2022-07-05)Digital twins constitute virtual representations of physically existing systems, synchronized at a specified frequency and fidelity. One way to connect physical and digital twins is through data lakes, which are efficient ... -
Coevolutionary generative adversarial networks for medical image augumentation at scale
(2022-07-08)Medical image processing can lack images for diagnosis. Generative Adversarial Networks (GANs) provide a method to train generative models for data augmentation. Synthesized images can be used to improve the robustness of ... -
Análisis de Conformidad de Gemelos Digitales Multi-Fidelidad
(Biblioteca Digital SISTEDES, 2022-08-30)Un gemelo digital es una réplica virtual de un sistema a un cierto nivel de fidelidad, sincronizados a una determinada frecuencia. Los gemelos digitales suelen emplearse para replicar sistemas físicos cuyas simulaciones ... -
SOWCompact: A federated process mining method for social workflows
(SISTEDES, 2022-09)The growing informatization of the environment allows modeling people’s behavior as a social workflow, where both individual actions and interactions with other people are captured. This modelling includes actions that are ... -
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. ... -
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 ... -
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 ... -
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 ... -
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 ... -
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, ... -
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; ... -
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 ... -
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 ...