Buscar
Mostrando ítems 51-58 de 58
Artículo
Elastic Smart Contracts in Blockchains
(IEEE Computer Society, 2021)
In this paper, we deal with questions related to blockchains in complex Internet of Things (IoT)-based ecosystems. Such ecosystems are typically composed of IoT devices, edge devices, cloud computing software services, ...
Artículo
Replication of Studies in Empirical Software Engineering: A Systematic Mapping Study, From 2013 to 2018
(IEEE Computer Society, 2019)
Context: In any discipline, replications of empirical studies are necessary to consolidate the acquired knowledge. In Software Engineering, replications have been reported since the 1990s, although their number is still ...
Artículo
The RALph miner for automated discovery and verification of resource-aware processmodels
(Springer, 2020)
Automated process discovery is a technique that extractsmodels of executed processes from event logs. Logs typically include information about the activities performed, their timestamps and the resources that were involved ...
Artículo
Model Transformation Testing and Debugging: A Survey
(ACM Digital Library, 2022-11-21)
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 ...
Artículo
Data streams classification using deep learning under different speeds and drifts
(Oxford University Press, 2022)
Processing data streams arriving at high speed requires the development of models that can provide fast and accurate predictions. Although deep neural networks are the state-of-the-art for many machine learning tasks, ...
Artículo
A Quantitative SWOT-TOWS Analysis for the Adoption of Model-Based Software Engineering
(AITO publication, 2022-10)
Enterprises’ trend to low-code development revives model-based software engineering (MBSE) since several low-code platforms are based on the principles of model-based design, automatic code generation, and visual programming. ...
Artículo
Benchmarking Answer Set Programming systems for resource allocation in business processes
(ScienceDirect, 2022-11)
Declarative logic programming formalisms are well-suited to model various optimization and configuration problems. In particular, Answer Set Programming (ASP) systems have gained popularity, for example, to deal with ...
Artículo
LEAPME: Learning-based Property Matching with Embeddings
(Cornell University, 2020)
Data integration tasks such as the creation and extension of knowledge graphs involve the fusion of heterogeneous entities from many sources. Matching and fusion of such entities require to also match and combine their ...