Zobrazeno 1 - 10
of 4 181
pro vyhledávání: '"P. Lluch"'
Partially observable Markov Decision Processes (POMDPs) are a standard model for agents making decisions in uncertain environments. Most work on POMDPs focuses on synthesizing strategies based on the available capabilities. However, system designers
Externí odkaz:
http://arxiv.org/abs/2405.10768
Autor:
Broccia, Giovanna, ter Beek, Maurice H., Lafuente, Alberto Lluch, Spoletini, Paola, Ferrari, Alessio
Context and Motivation Attack-Defense Trees (ADTs) are a graphical notation used to model and assess security requirements. ADTs are widely popular, as they can facilitate communication between different stakeholders involved in system security evalu
Externí odkaz:
http://arxiv.org/abs/2404.06386
Attack Trees are a graphical model of security used to study threat scenarios. While visually appealing and supported by solid theories and effective tools, one of their main drawbacks remains the amount of effort required by security experts to desi
Externí odkaz:
http://arxiv.org/abs/2402.12040
Autor:
Casaluce, Roberto, Burattin, Andrea, Chiaromonte, Francesca, Lafuente, Alberto Lluch, Vandin, Andrea
We propose a novel methodology for validating software product line (PL) models by integrating Statistical Model Checking (SMC) with Process Mining (PM). Our approach focuses on the feature-oriented language QFLan in the PL engineering domain, allowi
Externí odkaz:
http://arxiv.org/abs/2401.13019
Publikováno v:
ACS Omega, Vol 9, Iss 40, Pp 41968-41977 (2024)
Externí odkaz:
https://doaj.org/article/479cfb1ff0724eb380ef7dd78f8102eb
Autor:
Sandra Torres-Ruiz, Iris Garrido-Cano, Ana Lameirinhas, Octavio Burgués, Cristina Hernando, María Teresa Martínez, Federico Rojo, Begoña Bermejo, Marta Tapia, Juan Antonio Carbonell-Asins, Carlos Javier Peña, Ana Lluch, Juan Miguel Cejalvo, Eduardo Tormo, Pilar Eroles
Publikováno v:
Cell Death Discovery, Vol 10, Iss 1, Pp 1-13 (2024)
Abstract Despite progress in breast cancer treatment, a significant portion of patients still relapse because of drug resistance. The involvement of microRNAs in cancer progression and chemotherapy response is well established. Therefore, this study
Externí odkaz:
https://doaj.org/article/3a1b2fe95e2d47d181a620741b4f85f7
Endovascular guidewire manipulation is essential for minimally-invasive clinical applications (Percutaneous Coronary Intervention (PCI), Mechanical thrombectomy techniques for acute ischemic stroke (AIS), or Transjugular intrahepatic portosystemic sh
Externí odkaz:
http://arxiv.org/abs/2304.09286
Graphical security models constitute a well-known, user-friendly way to represent the security of a system. These kinds of models are used by security experts to identify vulnerabilities and assess the security of a system. The manual construction of
Externí odkaz:
http://arxiv.org/abs/2302.14479
Internet of Things (IoT) is a network of devices that communicate with each other through the internet and provides intelligence to industry and people. These devices are running in potentially hostile environments, so the need for security is critic
Externí odkaz:
http://arxiv.org/abs/2211.01712
Autor:
Mar García-Zamora, Gemma García-Lluch, Lucrecia Moreno Royo, Consuelo Cháfer-Pericás, Juan Pardo Albiach
Publikováno v:
Pharmacological Research, Vol 208, Iss , Pp 107396- (2024)
Externí odkaz:
https://doaj.org/article/10c9ec16898340278b55227267044168