Listar ITIS - Artículos por título
Mostrando ítems 66-85 de 88
-
SALON ontology for the formal description of sequence alignments.
Benítez-Hidalgo, Antonio; Aldana-Montes, José Francisco
; Navas-Delgado, Ismael; Roldán-García, María del Mar (BMC, 2023-02-27)
Background Information provided by high-throughput sequencing platforms allows the collection of content-rich data about biological sequences and their context. Sequence alignment is a bioinformatics approach to identifying ... -
Scalable approach for high-resolution land cover: a case study in the Mediterranean Basin.
Burgueño Romero, Antonio Manuel; Aldana Martín, José Francisco; Vázquez-Pendón, María; Barba-González, Cristóbal; Jiménez-Gómez, Yaiza; García Millán, Virginia; Navas-Delgado, Ismael[et al.] (Springer Nature, 2023-06-02)
The production of land cover maps is an everyday use of image classification applications on remote sensing. However, managing Earth observation satellite data for a large region of interest is challenging in the task of ... -
Security-enhanced ambient assisted living supporting school activities during hospitalisation
Muñoz-Ramírez, Antonio José; Maña-Gómez, Antonio; Koshutanski, Hristo (Springer-Verlag, 2010)
El artículo aborda los efectos negativos que las hospitalizaciones prolongadas tienen en los niños, como el estrés, los trastornos del sueño y la disminución del rendimiento escolar. El aislamiento de los niños de sus ... -
Self-healing trans-cloud applications.
Brogi, Antonio; Carrasco Mora, José Manuel; Durán-Muñoz, Francisco Javier; Pimentel-Sánchez, Ernesto; Soldani, Jacopo (Springer Nature, 2022-07-04)
Trans-cloud applications consist of multiple interacting components deployed across different cloud providers and at different service layers (IaaS and PaaS). In such complex deployment scenarios, fault handling and recovery ... -
Semi-Supervised Semantic Image Segmentation by Deep Diffusion Models and Generative Adversarial Networks
Jose Ángel, Díaz-Francés; Fernández-Rodríguez, Jose David; Thurnhofer-Hemsi, Karl; López-Rubio, Ezequiel (World Scientific, 2024)
Typically, deep learning models for image segmentation tasks are trained using large datasets of images annotated at the pixel level, which can be expensive and highly time-consuming. A way to reduce the amount of annotated ... -
Service-based Analytics for 5G Open Experimentation Platforms.
Aumayr, Erik; Caso, Giuseppe; Bosneag, Anne-Maria; Díaz-Zayas, Almudena; Alay, Ozgu; García, Bruno; Kousias, Konstantinos; Brunstom, Anna; Merino-Gómez, Pedro; Koumaras, Harilaos[et al.] (Elsevier, 2022-01-07)
A scalable, flexible and reliable Analytics service has become a requirement toward building efficient Fifth Generation (5G) experimental platforms that can support a suite of end-user experiments and verticals. Our paper ... -
Simulation and analysis of MultEcore multilevel models based on rewriting logic.
Rodríguez, Alejandro; Durán-Muñoz, Francisco Javier; Kristensen, Lars Michael (Springer Nature, 2021)
Multilevel modelling (MLM) approaches make it possible for designers and modellers to work with an unlimited number of abstraction levels when specifying domain-specific modelling languages (DSMLs). In this paper, we ... -
Smart Rollators Aid Devices: Current Trends and Challenges.
Verdezoto, Gabriela; Ballesteros-Gómez, Joaquín; Urdiales-García, Amalia Cristina (IEEE, 2022-08-26)
Mobility loss has a major impact on autonomy. Smart rollators have been proposed to enhance human abilities when conventional devices are not enough. Many human-robot interaction systems have been proposed in the last ... -
Software Systems from Smart City Vendors
Saborido Infantes, Rubén; Alba-Torres, Enrique (Elsevier, 2020)
The concept of a smart city has recently gained attention in academic, industry, and governments. Smart cities could be considered as urban areas that use data collection sensors and digital technologies which cooperate ... -
Specifying Quantities in Software Models
Burgueño-Caballero, Lola; Mayerhofer, Tanja; Wimmer, Manuel; Vallecillo-Moreno, Antonio Jesús (2020-06-08)
Context: An essential requirement for the design and development of any engineering application that deals with real-world physical systems is the formal representation and processing of physical quantities, comprising ... -
STAN: analysis of data traces using an event-driven interval temporal logic
Panizo-Jaime, Laura; Gallardo-Melgarejo, María del Mar (Springer Nature, 2022-11-30)
The increasing integration of systems into people’s daily routines, especially smartphones, requires ensuring correctness of their functionality and even some performance requirements. Sometimes, we can only observe the ... -
Supporting IoT applications deployment on edge-based infrastructures using multi-layer feature models
Cañete Valverde, Ángel Jesús; Amor-Pinilla, María Mercedes; Fuentes-Fernández, Lidia (Elsevier, 2022-01)
Edge Computing proposes to use the nearby devices in the frontier/Edge of the access network for deploying application tasks of IoT-based systems. However, the functionality of such cyber–physical systems, which is usually ... -
Testing models and model transformations using classifying terms.
Hilken, Frank; Gogolla, Martin; Burgueño-Caballero, Lola; Vallecillo-Moreno, Antonio Jesús (2016-11-09)
This paper proposes the use of equivalence partitioning techniques for testing models and model transformations. In particular, we introduce the concept of classifying terms, which are general OCL terms on a class model ... -
The Uncertainty Interaction Problem in Self-Adaptive Systems
(Springer, 2022-08-17)The problem of mitigating uncertainty in self-adaptation has driven much of the research proposed in the area of software engineering for self-adaptive systems in the last decade. Although many solutions have already been ... -
Towards Secure Agent Computing for Ubiquitous Computing and Ambient Intelligence
Muñoz-Gallego, Antonio Jesús; Maña-Gómez, Antonio; Serrano, Daniel (Springer, 2007-07-11)
El trabajo presenta una revisión exhaustiva de la evolución de los sistemas multiagente y analiza por qué estos sistemas no han sido ampliamente adoptados fuera de escenarios de investigación, señalando que la falta de ... -
Towards using Few-Shot Prompt Learning for Automating Model Completion
BenChaaben, Meriem; Burgueño-Caballero, Lola; Sahraoui, Houari (IEEE, 2023)
We propose a simple yet a novel approach to improve completion in domain modeling activities. Our approach exploits the power of large language models by using few-shot prompt learning without the need to train or fine-tune ... -
Towards Zero Touch Configuration of 5G Non-Public Networks for Time Sensitive Networking
Luque Schempp, Francisco; Panizo-Jaime, Laura; Gallardo-Melgarejo, María del Mar; Merino-Gómez, Pedro; Rivas, Francisco Javier (IEEE, 2022)
The need to increase mobility and to remove cables in industrial environments is pushing 5G as a valuable communication system to connect traditional deterministic Ethernet-based devices. One alternative is the adoption ... -
TPM-based protection for mobile agents.
Muñoz-Gallego, Antonio Jesús; Maña-Gómez, Antonio (Wiley, 2010)
El artículo titulado aborda el uso de la tecnología de módulos de plataforma confiable (TPM) para proteger agentes móviles en entornos de computación distribuida y ubicua. Se presenta una solución basada en hardware para ... -
Trans-cloud: CAMP/TOSCA-based bidimensional cross-cloud.
Carrasco Mora, José Manuel; Durán-Muñoz, Francisco Javier; Pimentel-Sánchez, Ernesto (Elsevier, 2018)
The diversity in the way in which different cloud providers offer their services, give their SLAs, present their QoS, or support different technologies complicates the portability and interoperability of cloud applications, ... -
Uncertainty representation in software models: a survey
Troya-Castilla, Javier; Moreno, Nathalie; Bertoa, Manuel F.; Vallecillo-Moreno, Antonio Jesús (Springer, 2021-01-08)
This paper provides a comprehensive overview and analysis of research work on how uncertainty is currently represented in software models. The survey presents the definitions and current research status of different proposals ...