Buscar
Mostrando ítems 131-140 de 164
Artículo
openSkies - Integration of Aviation Data into the R Ecosystem
(The R Foundation, 2021)
Aviation data has become increasingly more accessible to the public thanks to the adoption of technologies such as Automatic Dependent Surveillance-Broadcast (ADS-B) and Mode S, which provide aircraft information over ...
Artículo
Model-Based Software Design and Testing in Blockchain Smart Contracts: A Systematic Literature Review
(IEEE Computer Society, 2020)
Blockchain technology promises to spark a real revolution. One of most important concepts associated with this technology is smart contracts, which enable the automatic execution of agreements and augur a world without ...
Artículo
Generation of synthetic data with Conditional Generative Adversarial Networks
(Oxford University Press, 2022)
The generation of synthetic data is becoming a fundamental task in the daily life of any organization due to the new protection data laws that are emerging. Because of the rise in the use of Artificial Intelligence, one ...
Artículo
A neural network for semantic labelling of structured information
(Elsevier, 2020-04-01)
Intelligent systems rely on rich sources of information to make informed decisions. Using information from external sources requires establishing correspondences between the information and known information classes. This ...
Artículo
CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems
(Elsevier, 2021)
In the last years, cyber-physical systems (CPS) are receiving substantial mainstream attention especially in industrial environments, but this popularity has been accompanied by serious security challenges. A CPS is a ...
Artículo
A coral-reef approach to extract information from HTML tables
(Elsevier, 2022)
his article presents Coraline, which is a new table-understanding proposal. Its novelty lies in a coral-reef optimisation algorithm that addresses the problem of feature selection in synchrony with a clustering technique ...
Artículo
Blockchain Smart Contract Meta-modeling
(River Publishers, 2021)
One of the key benefits of blockchain technology is its ability to keep a per manent, unalterable record of transactions. In business environments, where companies interact with each other without a centralized authority ...
Artículo
A scheduler for SCADA-based multi-source fusion systems
(Elsevier, 2020)
In this article, we report on our experience regarding devising, implementing, and deploying a scheduler for multi- source fusion in the context of SCADA systems (Supervisory Control and Data Acquisition). They are ...
Artículo
Data Processing Unit for Energy Saving in Computer Vision: Weapon Detection Use Case
(MDPI, 2022-12-28)
The growth of the Internet has led to the emergence of servers that perform increasingly heavy tasks. Some servers must remain active 24 h a day, but the evolution of network cards has facilitated the use of Data Processing ...
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, ...