Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Advances in Enterprise Engineering XIII [[electronic resource] ] : 9th Enterprise Engineering Working Conference, EEWC 2019, Lisbon, Portugal, May 20–24, 2019, Revised Papers / / edited by David Aveiro, Giancarlo Guizzardi, José Borbinha
| Advances in Enterprise Engineering XIII [[electronic resource] ] : 9th Enterprise Engineering Working Conference, EEWC 2019, Lisbon, Portugal, May 20–24, 2019, Revised Papers / / edited by David Aveiro, Giancarlo Guizzardi, José Borbinha |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 187 p. 110 illus., 45 illus. in color.) |
| Disciplina | 620.7 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Application software
Management information systems Computer security Information Systems Applications (incl. Internet) Enterprise Architecture Computer Appl. in Administrative Data Processing Business Information Systems Security Services |
| ISBN | 3-030-37933-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Processes -- Business Processes Compliance in Partially Observable Environmens -- Generation of stakeholder-specific BPMN models -- LegalLanguage: a Domain-Speci c Language for Legal Contexts -- On DEMO -- Design evaluation of an extension to the DEMO meta-model -- Bridging Ontology and Implementation with a new DEMO Action Meta-Model and Engine -- On Models and Enterprise Architecture -- Engineering the black-box meta model of data exploration -- Enterprise Architecture as a Public Goods Dilemma: An Experimental Approach -- Maturity Assessment of TOGAF ADM using Enterprise Architecture Model Analysis and Description Logics -- Analysing Strategic Alignment Problems - using Inter-domain Matches of Enterprise Architecture Models -- On Blockchain -- A Visual Domain Specific Language for Modeling Blockchain Smart Contracts -- Model-driven Liaison of Organization Modeling Approaches and Blockchain Platforms. |
| Record Nr. | UNISA-996465366003316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances in Enterprise Engineering XIII : 9th Enterprise Engineering Working Conference, EEWC 2019, Lisbon, Portugal, May 20–24, 2019, Revised Papers / / edited by David Aveiro, Giancarlo Guizzardi, José Borbinha
| Advances in Enterprise Engineering XIII : 9th Enterprise Engineering Working Conference, EEWC 2019, Lisbon, Portugal, May 20–24, 2019, Revised Papers / / edited by David Aveiro, Giancarlo Guizzardi, José Borbinha |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XII, 187 p. 110 illus., 45 illus. in color.) |
| Disciplina |
620.7
620.001171 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Application software
Business information services Information technology - Management Data protection Computer and Information Systems Applications Enterprise Architecture Computer Application in Administrative Data Processing Business Information Systems Security Services |
| ISBN | 3-030-37933-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | On Processes -- Business Processes Compliance in Partially Observable Environmens -- Generation of stakeholder-specific BPMN models -- LegalLanguage: a Domain-Speci c Language for Legal Contexts -- On DEMO -- Design evaluation of an extension to the DEMO meta-model -- Bridging Ontology and Implementation with a new DEMO Action Meta-Model and Engine -- On Models and Enterprise Architecture -- Engineering the black-box meta model of data exploration -- Enterprise Architecture as a Public Goods Dilemma: An Experimental Approach -- Maturity Assessment of TOGAF ADM using Enterprise Architecture Model Analysis and Description Logics -- Analysing Strategic Alignment Problems - using Inter-domain Matches of Enterprise Architecture Models -- On Blockchain -- A Visual Domain Specific Language for Modeling Blockchain Smart Contracts -- Model-driven Liaison of Organization Modeling Approaches and Blockchain Platforms. |
| Record Nr. | UNINA-9910373924703321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Applied Cryptography and Network Security [[electronic resource] ] : 21st International Conference, ACNS 2023, Kyoto, Japan, June 19–22, 2023, Proceedings, Part I / / edited by Mehdi Tibouchi, XiaoFeng Wang
| Applied Cryptography and Network Security [[electronic resource] ] : 21st International Conference, ACNS 2023, Kyoto, Japan, June 19–22, 2023, Proceedings, Part I / / edited by Mehdi Tibouchi, XiaoFeng Wang |
| Autore | Tibouchi Mehdi |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (762 pages) |
| Disciplina | 005.8 |
| Altri autori (Persone) | WangXiaofeng |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data protection
Data structures (Computer science) Information theory Operating systems (Computers) Application software Cryptography Data encryption (Computer science) Data and Information Security Data Structures and Information Theory Operating Systems Computer and Information Systems Applications Cryptology Security Services |
| Soggetto non controllato | Mathematics |
| ISBN | 3-031-33488-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Side-channel and fault attacks -- Symmetric cryptanalysis -- Web security -- Elliptic curves and pairings -- Homomorphic cryptography -- Machine learning -- Lattices and codes. |
| Record Nr. | UNISA-996534464003316 |
Tibouchi Mehdi
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Applied Cryptography and Network Security : 21st International Conference, ACNS 2023, Kyoto, Japan, June 19–22, 2023, Proceedings, Part I / / edited by Mehdi Tibouchi, XiaoFeng Wang
| Applied Cryptography and Network Security : 21st International Conference, ACNS 2023, Kyoto, Japan, June 19–22, 2023, Proceedings, Part I / / edited by Mehdi Tibouchi, XiaoFeng Wang |
| Autore | Tibouchi Mehdi |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (762 pages) |
| Disciplina | 005.8 |
| Altri autori (Persone) | WangXiaofeng |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Data protection
Data structures (Computer science) Information theory Operating systems (Computers) Application software Cryptography Data encryption (Computer science) Data and Information Security Data Structures and Information Theory Operating Systems Computer and Information Systems Applications Cryptology Security Services |
| Soggetto non controllato | Mathematics |
| ISBN | 3-031-33488-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Side-channel and fault attacks -- Symmetric cryptanalysis -- Web security -- Elliptic curves and pairings -- Homomorphic cryptography -- Machine learning -- Lattices and codes. |
| Record Nr. | UNINA-9910728398903321 |
|
Tibouchi Mehdi
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial Intelligence Security and Privacy [[electronic resource] ] : First International Conference on Artificial Intelligence Security and Privacy, AIS&P 2023, Guangzhou, China, December 3–5, 2023, Proceedings, Part I / / edited by Jaideep Vaidya, Moncef Gabbouj, Jin Li
| Artificial Intelligence Security and Privacy [[electronic resource] ] : First International Conference on Artificial Intelligence Security and Privacy, AIS&P 2023, Guangzhou, China, December 3–5, 2023, Proceedings, Part I / / edited by Jaideep Vaidya, Moncef Gabbouj, Jin Li |
| Autore | Vaidya Jaideep |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (610 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
GabboujMoncef
LiJin |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Security systems Data protection - Law and legislation Cryptography Data encryption (Computer science) Data protection Artificial Intelligence Security Science and Technology Privacy Cryptology Security Services |
| ISBN | 981-9997-85-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Fine-grained Searchable Encryption Scheme -- Fine-grained Authorized Secure Deduplication with Dynamic Policy -- Deep Multi-Image Hiding with Random Key -- Member Inference Attacks in Federated Contrastive Learning -- A network traffic anomaly detection method based on shapelet and KNN -- DFaP: Data Filtering and Purification Against Backdoor Attacks -- A Survey of Privacy Preserving Subgraph Matching Method -- The Analysis of Schnorr Multi-Signatures and the Application to AI -- Active Defense against Image Steganography -- Strict Differentially Private Support Vector Machines with Dimensionality Reduction -- Converging Blockchain and Deep Learning in UAV Network Defense Strategy: Ensuring Data Security During Flight -- Towards Heterogeneous Federated Learning: Analysis, Solutions, and Future Directions -- From Passive Defense to Proactive Defence: Strategies and Technologies -- Research on Surface Defect Detection System of Chip Inductors Based on Machine Vision -- Multimodal fatigue detection in drivers via physiological and visual signals -- Protecting Bilateral Privacy in Machine Learning-as-a-Service: A Differential Privacy Based Defense -- FedCMK: An Efficient Privacy-Preserving Federated Learning Framework -- An embedded cost learning framework based on cumulative gradient -- An Assurance Case Practice of AI-enabled Systems on Maritime Inspection -- Research and Implementation of EXFAT File System Reconstruction Algorithm Based on Cluster Size Assumption and Computational Verification -- A Verifiable Dynamic Multi-Secret Sharing Obfuscation Scheme Applied to Data LakeHouse -- DZIP: A Data Deduplication-Compatible Enhanced Version of Gzip -- Efficient Wildcard Searchable Symmetric Encryption with Forward and Backward Security -- Adversarial Attacks against Object Detection in Remote Sensing Images -- Hardware Implementation and Optimization of Critical Modules of SM9 Digital Signature Algorithm -- Post-quantum Dropout-resilient Aggregation for Federated Learning via Lattice-based PRF -- Practical and Privacy-Preserving Decision Tree Evaluation with One Round Communication -- IoT-Inspired Education 4.0 Framework for Higher Education and Industry Needs -- Multi-agent Reinforcement Learning Based User-Centric Demand Response with Non-Intrusive Load Monitoring -- Decision Poisson: From universal gravitation to offline reinforcement learning -- SSL-ABD:An Adversarial Defense MethodAgainst Backdoor Attacks in Self-supervised Learning -- Personalized Differential Privacy in the Shuffle Model -- MKD: Mutual Knowledge Distillation for Membership Privacy Protection -- Fuzzing Drone Control System Configurations Based on Quality-Diversity Enhanced Genetic Algorithm -- KEP: Keystroke Evoked Potential for EEG-based User Authentication -- Verifiable Secure Aggregation Protocol under Federated Learning -- Electronic voting privacy protection scheme based on double signature in Consortium Blockchain -- Securing 5G Positioning via Zero Trust Architecture -- Email Reading Behavior-informed Machine Learning Model to Predict Phishing Susceptibility. . |
| Record Nr. | UNINA-9910831010203321 |
|
Vaidya Jaideep
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial Intelligence Security and Privacy [[electronic resource] ] : First International Conference on Artificial Intelligence Security and Privacy, AIS&P 2023, Guangzhou, China, December 3–5, 2023, Proceedings, Part II / / edited by Jaideep Vaidya, Moncef Gabbouj, Jin Li
| Artificial Intelligence Security and Privacy [[electronic resource] ] : First International Conference on Artificial Intelligence Security and Privacy, AIS&P 2023, Guangzhou, China, December 3–5, 2023, Proceedings, Part II / / edited by Jaideep Vaidya, Moncef Gabbouj, Jin Li |
| Autore | Vaidya Jaideep |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (293 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
GabboujMoncef
LiJin |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Artificial intelligence
Security systems Data protection - Law and legislation Cryptography Data encryption (Computer science) Data protection Artificial Intelligence Security Science and Technology Privacy Cryptology Security Services |
| ISBN | 981-9997-88-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Application of lattice-based unique ring signature in blockchain transactions -- Rethinking Distribution Alignment for Inter-class Fairness -- Online Learning Behavior Analysis and Achievement Prediction with Explainable Machine Learning -- A Privacy-Preserving Face Recognition Scheme Combining Homomorphic Encryption and Parallel Computing -- A graph-based vertical federation broad learning system -- EPoLORE: Efficient and Privacy Preserved Logistic Regression scheme -- Multi-dimensional Data Aggregation Scheme without a Trusted Third Party in Smart Grid -- Using Micro Videos to Optimize Premiere Software Course Teaching -- The Design and Implementation of Python Knowledge Graph for Programming Teaching -- An Improved Prototypical Network for Endoscopic Grading of Intestinal Metaplasia -- Secure Position-aware Graph Neural Networks for Session-based Recommendation -- Design of a Fast Recognition Method for College Students' Classroom Expression Images Based on Deep Learning -- Research on ALSTM-SVR based Traffic Flow prediction adaptive beacon message Joint control -- An Improved Hybrid Sampling Model for Network Intrusion Detection Based on Data Imbalance -- Using the SGE-CGAM Method to Address Class Imbalance Issues in Network Intrusion Detection -- A Study of Adaptive Algorithm for Dynamic Adjustment of Transmission Power and Contention Window -- Deep learning-based lung nodule segmentation and 3D reconstruction algorithm for CT images -- GridFormer: Grid foreign object detection also requires Transformer -- An Anomaly Detection and Localization Method Based on Feature Fusion and Attention -- Ensemble of Deep Convolutional Network for Citrus Disease Classification using Leaf Images -- PM2.5 Monitoring And Prediction Basing On IOT And RNN Neural Network -- An image zero watermark algorithm based on DINOv2 and multiple cycle transformation -- An image copyright authentication model based on blockchain and digital watermark. |
| Record Nr. | UNINA-9910831003703321 |
|
Vaidya Jaideep
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Blockchains [[electronic resource] ] : A Handbook on Fundamentals, Platforms and Applications / / edited by Sushmita Ruj, Salil S. Kanhere, Mauro Conti
| Blockchains [[electronic resource] ] : A Handbook on Fundamentals, Platforms and Applications / / edited by Sushmita Ruj, Salil S. Kanhere, Mauro Conti |
| Autore | Ruj Sushmita |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (621 pages) |
| Disciplina | 005.74 |
| Altri autori (Persone) |
KanhereSalil S
ContiMauro |
| Collana | Advances in Information Security |
| Soggetto topico |
Cryptography
Data encryption (Computer science) Data protection - Law and legislation Data protection Computer networks - Security measures Cryptology Privacy Security Services Mobile and Network Security Data and Information Security |
| ISBN | 3-031-32146-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Ten Myths About Blockchain Consensus -- Cryptographic Primitives in Blockchain -- Bitcoin Blockchain System: An Overview of Security and Privacy Aspects -- The Ethereum Blockchain: Implementation and Security Aspects -- The Future Ring Confidential Transaction Protocols for Privacy-Preserving Blockchain -- Algorand Blockchain -- Tendermint -- The Security of Delegated Proof of Stake Wallet and Stake Pools -- Layer-2 Scalability Solutions for Blockchains -- Illicit Blockchain Content – Its Different Shapes, Consequences, and Remedies -- Blockchain-based Distributed and Secure Digital Forensic Investigation Systems -- Supply Chain Management Using Blockchain -- Blockchain Technology for E-Governance Applications -- When Blockchain meets Smart Cities: Opportunities, Security and Future Research -- Decentralised Identity Management and Blockchains: Design Patterns and Architectures -- From Centralized to Decentralized Remote Electronic Voting -- Blockchain Technology Accelerating Industry 4.0 -- Blockchain for Health Data Management -- Supporting Secure Trusted Manufacturing via Blockchain -- Blockchain for Data Sharing. |
| Record Nr. | UNINA-9910842493003321 |
|
Ruj Sushmita
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops : DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6–9, 2022, Proceedings / / edited by Mario Trapp, Erwin Schoitsch, Jérémie Guiochet, Friedemann Bitsch
| Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops : DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE Munich, Germany, September 6–9, 2022, Proceedings / / edited by Mario Trapp, Erwin Schoitsch, Jérémie Guiochet, Friedemann Bitsch |
| Edizione | [1st ed. 2022.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 |
| Descrizione fisica | 1 online resource (360 pages) |
| Disciplina | 005.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer engineering
Computer networks Image processing—Digital techniques Computer vision Application software Software engineering Computer science Data protection Computer Engineering and Networks Computer Imaging, Vision, Pattern Recognition and Graphics Computer and Information Systems Applications Software Engineering Theory of Computation Security Services |
| ISBN | 3-031-14862-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems -- Dependable Development-Operation Continuum Methods for Dependable Cyber-Physical System -- Next Generation of System Assurance Approaches for Critical Systems -- Security and Safety Interaction -- Underpinnings for Safe Distributed Artificial Intelligence -- Artificial Intelligence Safety Engineering. |
| Record Nr. | UNINA-9910592980603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2022 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops [[electronic resource] ] : ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings / / edited by Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch
| Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops [[electronic resource] ] : ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings / / edited by Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch |
| Autore | Guiochet Jérémie |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (448 pages) |
| Disciplina |
621.39
004.6 |
| Altri autori (Persone) |
TonettaStefano
SchoitschErwin RoyMatthieu BitschFriedemann |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer engineering
Computer networks Image processing - Digital techniques Computer vision Application software Software engineering Computer science Data protection Computer Engineering and Networks Computer Imaging, Vision, Pattern Recognition and Graphics Computer and Information Systems Applications Software Engineering Theory of Computation Security Services |
| ISBN | 3-031-40953-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities -- Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy.-Assurance Cases for Timing Properties of Automotive TSN Networks -- Toward Dependability Assurance Framework for Automated Driving Systems -- A Quantitative Approach for System of Systems’ Resilience Analyzing Based on Archimate -- Towards DO-178C Compliance of a Secure Product -- The Need for Threat Modelling in Unmanned Aerial Systems -- Using Runtime information of controllers for safe adaptation at runtime: a Process Mining approach -- Safety and Robustness for Deep Neural Networks: An Automotive Use Case -- Towards Dependable Integration Concepts for AI-based Systems -- A Methodology for the Qualification of Operating Systems and Hypervisors for the deployment in IoT devices -- Computer-Aided Generation of Assurance Cases -- RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence -- Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases -- Analyzing Origins of Safety and Security Interactions using Feared Events Trees and Multi-level Model -- Utilising Redundancy to Enhance Security of Safety-Critical Systems -- Reliability Evaluation of Autonomous Transportation System Architecture Based on Markov Chain -- Uncertainty Quantification for Semantic Segmentation Models via Evidential Reasoning -- Research on the Reliability of High-Speed Railway Dispatching and Commanding Personnel with Multi Physiological Signals -- Research on Brain Load prediction based on machine learning for High-speed Railway -- Paired Safety Rule Structure for Human-machine Cooperation with Feature Update and Evolution -- Towards an Effective Generation of Functional Scenarios for AVs to Guide Sampling -- Rear-end Collision Risk Analysis for Autonomous Driving -- Improving road traffic safety and performance – barriers and directions towards cooperative automated vehicles -- A Group-Level Learning Approach Using Logistic Regression for Fairer Decisions -- Conformal Prediction and Uncertainty Wrapper: What Statistical Guarantees Can You Get for Uncertainty Quantification in Machine Learning -- AIMOS: Metamorphic Testing of AI - An Industrial Application -- AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms -- A Reasonable Driver Standard for Automated Vehicle Safety -- Structuring Research Related to Dynamic Risk Management for Autonomous Systems -- Towards Safe Machine Learning Lifecycles with ESG Model Cards -- Towards Deep Anomaly Detection with Structured Knowledge Representations -- Evaluating and Increasing Segmentation Robustness in CARLA -- Safety Integrity Levels for Artificial Intelligence -- Can Large Language Models assist in Hazard Analysis -- Contextualised Out-of-Distribution Detection using Pattern Identification. . |
| Record Nr. | UNISA-996550558103316 |
|
Guiochet Jérémie
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops : ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings / / edited by Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch
| Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops : ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings / / edited by Jérémie Guiochet, Stefano Tonetta, Erwin Schoitsch, Matthieu Roy, Friedemann Bitsch |
| Autore | Guiochet Jérémie |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Descrizione fisica | 1 online resource (448 pages) |
| Disciplina |
621.39
004.6 |
| Altri autori (Persone) |
TonettaStefano
SchoitschErwin RoyMatthieu BitschFriedemann |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer engineering
Computer networks Image processing - Digital techniques Computer vision Application software Software engineering Computer science Data protection Computer Engineering and Networks Computer Imaging, Vision, Pattern Recognition and Graphics Computer and Information Systems Applications Software Engineering Theory of Computation Security Services |
| ISBN | 3-031-40953-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities -- Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy.-Assurance Cases for Timing Properties of Automotive TSN Networks -- Toward Dependability Assurance Framework for Automated Driving Systems -- A Quantitative Approach for System of Systems’ Resilience Analyzing Based on Archimate -- Towards DO-178C Compliance of a Secure Product -- The Need for Threat Modelling in Unmanned Aerial Systems -- Using Runtime information of controllers for safe adaptation at runtime: a Process Mining approach -- Safety and Robustness for Deep Neural Networks: An Automotive Use Case -- Towards Dependable Integration Concepts for AI-based Systems -- A Methodology for the Qualification of Operating Systems and Hypervisors for the deployment in IoT devices -- Computer-Aided Generation of Assurance Cases -- RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence -- Patterns for Integrating NIST 800-53 Controls into Security Assurance Cases -- Analyzing Origins of Safety and Security Interactions using Feared Events Trees and Multi-level Model -- Utilising Redundancy to Enhance Security of Safety-Critical Systems -- Reliability Evaluation of Autonomous Transportation System Architecture Based on Markov Chain -- Uncertainty Quantification for Semantic Segmentation Models via Evidential Reasoning -- Research on the Reliability of High-Speed Railway Dispatching and Commanding Personnel with Multi Physiological Signals -- Research on Brain Load prediction based on machine learning for High-speed Railway -- Paired Safety Rule Structure for Human-machine Cooperation with Feature Update and Evolution -- Towards an Effective Generation of Functional Scenarios for AVs to Guide Sampling -- Rear-end Collision Risk Analysis for Autonomous Driving -- Improving road traffic safety and performance – barriers and directions towards cooperative automated vehicles -- A Group-Level Learning Approach Using Logistic Regression for Fairer Decisions -- Conformal Prediction and Uncertainty Wrapper: What Statistical Guarantees Can You Get for Uncertainty Quantification in Machine Learning -- AIMOS: Metamorphic Testing of AI - An Industrial Application -- AERoS: Assurance of Emergent Behaviour in Autonomous Robotic Swarms -- A Reasonable Driver Standard for Automated Vehicle Safety -- Structuring Research Related to Dynamic Risk Management for Autonomous Systems -- Towards Safe Machine Learning Lifecycles with ESG Model Cards -- Towards Deep Anomaly Detection with Structured Knowledge Representations -- Evaluating and Increasing Segmentation Robustness in CARLA -- Safety Integrity Levels for Artificial Intelligence -- Can Large Language Models assist in Hazard Analysis -- Contextualised Out-of-Distribution Detection using Pattern Identification. . |
| Record Nr. | UNINA-9910744507403321 |
|
Guiochet Jérémie
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
