Listar ITIS - Artículos por título
Mostrando ítems 23-34 de 34
-
SALON ontology for the formal description of sequence alignments.
(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.
(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 ... -
Service-based Analytics for 5G Open Experimentation Platforms.
(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 ... -
Smart Rollators Aid Devices: Current Trends and Challenges.
(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 ... -
Specifying Quantities in Software Models
(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
(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
(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.
(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 ... -
Towards using Few-Shot Prompt Learning for Automating Model Completion
(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
(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 ... -
Uncertainty representation in software models: a survey
(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 ... -
Using metaheuristics for the location of bicycle stations
(Elsevier, 2020)In this work, we solve the problem of finding the best locations to place stations for depositing/collecting shared bicycles. To do this, we model the problem as the p-median problem, that is a major existing localization ...