Listar ITIS - Artículos por título
Mostrando ítems 14-33 de 36
-
Hybridization of Evolutionary Operators with Elitist Iterated Racing for the Simulation Optimization of Traffic Lights Programs.
(MIT Press Direct, 2023-03)In the traffic light scheduling problem, the evaluation of candidate solutions requires the simulation of a process under various (traffic) scenarios. Thus, good solutions should not only achieve good objective function ... -
Improving query performance on dynamic graphs
(Springer, 2020-11-20)Querying large models efficiently often imposes high demands on system resources such as memory, processing time, disk access or network latency. The situation becomes more complicated when data are highly interconnected, ... -
Incorporating Measurement Uncertainty into OCL/UML Primitive Datatypes
(2020-06-01)The correct representation of the relevant properties of a system is an essential requirement for the effective use and wide adoption of model-based practices in industry. Uncertainty is one of the inherent properties of ... -
Managing Reputation in Collaborative Social Computing Applications
(AITO, 2022-06)Reputation is a fundamental concept for making decisions about service providers. However, managing reputation in peer-to-peer distributed applications is not easy due to the lack of a central server that can compute this ... -
Model Transformation Testing and Debugging: A Survey
(ACM, 2022)Model transformations are the key technique in Model-Driven Engineering (MDE) to manipulate and construct models. As a consequence, the correctness of software systems built with MDE approaches relies mainly on the correctness ... -
Modelling Digital Avatars: a tuple space approach
(2021-01-07)The development of the Internet of Things (IoT) came with the manufacturing of a huge amount of smart things equipped with sensors for making them aware of their environment, and with network connection for allowing remote ... -
NITRO: a gadget to transform standard rollators into smart rollators for monitoring user conditions.
(2023-11-26)The goal of using a rollator is to provide physical stability, support, and increase independence while walking or performing daily activities. The decision to use a rollator is often made in consultation with healthcare ... -
NK Hybrid Genetic Algorithm for Clustering
(2018)The NK hybrid genetic algorithm for clustering is proposed in this paper. In order to evaluate the solutions, the hybrid algorithm uses the NK clustering validation criterion 2 (NKCV2). NKCV2 uses information about the ... -
NORA: Scalable OWL reasoner based on NoSQL databases and Apache Spark.
(Wiley, 2023-09-04)Reasoning is the process of inferring new knowledge and identifying inconsistencies within ontologies. Traditional techniques often prove inadequate when reasoning over large Knowledge Bases containing millions or billions ... -
Real-Time Crowd Counting based on wearable Ephemeral IDs
(SCITEPRESS, 2022)Crowd Counting is a very interesting problem aiming at counting people typically based on density averages and/or aerial images. This is very useful to prevent crowd crushes, especially on urban environments with high ... -
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 ...