Listar ITIS - Contribuciones a congresos científicos por título
Mostrando ítems 1-20 de 53
-
A Conceptual Architecture for Building Digital Twins.
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 ... -
Addressing the Uncertainty Interaction Problem in Software-intensive Systems: Challenges and Desiderata. (Summary).
Cámara-Moreno, Javier
; Calinescu, Radu; Cheng, Betty H.C.; Garlan, David; Schmerl, Bradley; Troya-Castilla, Javier; Vallecillo-Moreno, Antonio Jesús[et al.] (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 ... -
An efficient routing protocol for green communications in vehicular ad-hoc networks.
Toutouh-el-Alamin, Jamal; Alba-Torres, Enrique (ACM, 2011-07-12)
Vehicular ad-hoc networks (VANETs) provide the communications required to deploy Intelligent Transportation Systems (ITS). In the current state of the art there is a lack of studies on Green Communications (energy-efficiency) ... -
Análisis de Conformidad de Gemelos Digitales Multi-Fidelidad
Muñoz Ariza, Paula; Troya-Castilla, Javier; Vallecillo-Moreno, Antonio Jesús (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 ... -
Assessing Incremental Testing Practices and Their Impact on Project Outcomes.
Kazerouni, Ayaan M.; Shaffer, Clifford A.; Edwards, Stephen H.; Servant-Cortés, Francisco Javier (ACM, 2019)
Software testing is an important aspect of the development process, one that has proven to be a challenge to formally introduce into the typical undergraduate CS curriculum. Unfortunately, existing assessment of testing ... -
Automated planning for adaptive Cyber-Physical Systems under uncertainty in temporal availability constraints
(2024-04-15)In smart Cyber-Physical Systems (sCPS), a critical challenge lies in task planning under uncertainty. There is a broad body of work in the area with approaches able to deal with different classes of constraints (e.g., ... -
Belief Uncertainty in Software Models
Burgueño-Caballero, Lola; Clarisó, Robert; Cabot, Jordi; Gérard, Sébastien; Vallecillo-Moreno, Antonio Jesús (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 ... -
CASI: Preventing Indirect Conflicts through a Live Visualization.
Servant-Cortés, Francisco Javier; Jones, James A.; Van der Hoek, Andre (Association for Computing Machinery (ACM), 2010)
Software development is a collaborative activity that may lead to conflicts when changes are performed in parallel by several developers. Direct conflicts arise when multiple developers make changes in the same source code ... -
Chronos: Visualizing Slices of Source-Code History.
Servant-Cortés, Francisco Javier; Jones, James A. (Institute of Electrical and Electronics Engineers (IEEE), 2013)
In this paper, we present CHRONOS—a tool that enables the querying, exploration, and discovery of historical change events to source code. Unlike traditional Revision Control-System tools, CHRONOS allows queries across any ... -
CIBench: A Dataset and Collection of Techniques for Build and Test Selection and Prioritization in Continuous Integration.
Jin, Xianhao; Servant-Cortés, Francisco Javier (IEEE, 2021)
Continuous integration (CI) is a widely used practice in modern software engineering. Unfortunately, it is also an expensive practice — Google and Mozilla estimate their CI systems in millions of dollars. There are a number ... -
Clasificación de delitos con incertidumbre
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 ... -
Coevolutionary generative adversarial networks for medical image augumentation at scale
Flores, Diana; Toutouh-el-Alamin, Jamal; Hemberg, Erik; O’Reilly, Una-May (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 ... -
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
Bossavit, Benoit; Urbano, Juan Miguel ; Fernández-Leiva, Antonio José (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. ... -
DASSCi: Avatares Digitales Deportivos en Ciudades Inteligentes.
Toro-Gálvez, Lorenzo; Moreno-Vergara, Natalia; Canal-Velasco, José Carlos; Troya-Castilla, Javier (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 ... -
Dealing with Belief Uncertainty in Domain Models.
Burgueño-Caballero, Lola; Muñoz Ariza, Paula; Clarisó, Robert; Cabot, Jordi; Gérard, Sébastien; Vallecillo-Moreno, Antonio Jesús[et al.] (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; ... -
Defining Categorical Reasoning of Numerical Feature Models with Feature-Wise and Variant-Wise Quality Attributes
Muñoz-Guerra, Daniel Jesús; Pinto-Alarcón, Mónica; Gurov, Dilian; Fuentes-Fernández, Lidia (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 ... -
Detecting Feature Influences to Quality Attributes in Large and Partially Measured Spaces using Smart Sampling and Dynamic Learning
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 ... -
Digital Avatars for Older People’s Care
Fernández-Bertoa, Manuel; Moreno, Nathalie; Perez-Vereda, Alejandro; Bandera García, David; Álvarez-Palomo, José María; Canal-Velasco, José Carlos[et al.] (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 ... -
Diseño de servicios cuánticos a través de la especificación AsyncAPI
Casco Seco, Jorge; Alvarado-Valiente, Jaime; Romero-Alvarez, Javier; Moguel, Enrique; García-Alonso, José; Canal-Velasco, José Carlos; Murillo, Juan M.[et al.] (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, ...