Buscar
Mostrando ítems 1-10 de 36
Ponencia
Definition and Verification of Security Configurations of Cyber-Physical Systems
(Springer, 2020)
The proliferation of Cyber-Physical Systems (CPSs) is rais ing serious security challenges. These are complex systems, integrating physical elements into automated networked systems, often containing a variety of devices, ...
Ponencia
Extensible and modular abstract syntax for feature modeling based on language constructs
(ACM Digital Library, 2020)
Since the definition of feature models in 1990, a large number of language constructs have emerged. Each language construct usually comes with its own abstract and concrete syntax, its semantics, and even its complete ...
Ponencia
IoMT-Driven eHealth: A Technological Innovation Proposal Based on Smart Speakers
(Springer, 2020)
Internet of Medical Things (IoMT) is a technological concept applied in healthcare contexts to achieve the digital interconnection of everyday objects with the Internet in order to make life easier for people. IoMT can ...
Ponencia
AMADEUS: Towards the AutoMAteD secUrity teSting
(ACM: Association for Computing Machinery, 2020)
The proper configuration of systems has become a fundamental factor to avoid cybersecurity risks. Thereby, the analysis of cyber security vulnerabilities is a mandatory task, but the number of vul nerabilities and system ...
Ponencia
The current limitations of blockchain traceability: challenges from industry
(SciTePress, 2020)
Blockchain technology is a chain of cryptographically linked blocks. It was designed to be immutable, so that the identity and traceability of the information entered would be guaranteed. After analyzing several traceability ...
Ponencia
An Innovative Methodology to Optimize Aerospace Eco-efficiency Assembly Processes
(Springer, 2020)
Sustainability and eco-efficiency have been researched in multiple scientific papers since the last years. However the literature is not so abundant when applying those concepts to industrial assembly processes. This ...
Ponencia
Uniform and scalable SAT-sampling for configurable systems
(Association for Computing Machinery (ACM), 2020)
Several relevant analyses on configurable software systems remain intractable because they require examining vast and highly-constrained configuration spaces. Those analyses could be addressed through statistical inference, ...
Ponencia
A Comparison of Objective and Subjective Sleep Quality Measurement in a Group of Elderly Persons in a Home Environment
(SpringerLink, 2020)
The main aim of presented in this manuscript research is to compare the results of objective and subjective measurement of sleep quality for older adults (65+) in the home environment. A total amount of 73 nights was ...
Ponencia
Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance
(Springer, 2020)
The completion of partial configurations might represent an expensive computational task. Existing solutions, such as those which use modern constraint satisfaction solvers, perform a complete search, making them unsuitable ...
Ponencia
Discovering Business Process Simulation Models in the Presence of Multitasking
(Springer, 2020)
Business process simulation is a versatile technique for analyzing business processes from a quantitative perspective. A well-known limitation of process simulation is that the accuracy of the simulation results is limited ...