Buscar
Mostrando ítems 1-10 de 79
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
Inferencia Automática de Dependencias Inter-Parámetro en APIs REST
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021)
La generación automática de casos de prueba para APIs REST es un tema de investigación muy activo. La mayoría de técnicas emplean un enfoque de caja negra basado en la generación aleatoria de peticiones a partir de la ...
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
RESTest: automated black-box testing of RESTful web APIs
(Association for Computing Machinery (ACM), 2021)
Testing RESTful APIs thoroughly is critical due to their key role in software integration. Existing tools for the automated generation of test cases in this domain have shown great promise, but their applicability is ...
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
Humans, Processes and Robots: A Journey to Hyperautomation
(Springer, 2021)
Automating business processes is one of the most recurrent topics in indus tries, independent of its digital orientation. Competitiveness pushes companies to deliver their products or services efficiently and effectively. ...
Ponencia
Productivity Challenges in Digital Transformation and its Implications for Workstream Collaboration Tools.
(University of Hawai'i, 2021)
Digital transformation has brought an unprecedented pace of change and a huge amount of information available for businesses. At the same time, it has also created a number of difficulties for knowledge workers that ...