000 | 04779nam a22006135i 4500 | ||
---|---|---|---|
001 | 978-3-031-56776-6 | ||
003 | DE-He213 | ||
005 | 20240730171701.0 | ||
007 | cr nn 008mamaa | ||
008 | 240323s2024 sz | s |||| 0|eng d | ||
020 |
_a9783031567766 _9978-3-031-56776-6 |
||
024 | 7 |
_a10.1007/978-3-031-56776-6 _2doi |
|
050 | 4 | _aQA76.758 | |
072 | 7 |
_aUMZ _2bicssc |
|
072 | 7 |
_aCOM051230 _2bisacsh |
|
072 | 7 |
_aUMZ _2thema |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aDependable Computing - EDCC 2024 Workshops _h[electronic resource] : _bSafeAutonomy, TRUST in BLOCKCHAIN, Leuven, Belgium, April 8, 2024, Proceedings / _cedited by Behrooz Sangchoolie, Rasmus Adler, Richard Hawkins, Philipp Schleiss, Alessia Arteconi, Adriano Mancini. |
250 | _a1st ed. 2024. | ||
264 | 1 |
_aCham : _bSpringer Nature Switzerland : _bImprint: Springer, _c2024. |
|
300 |
_aXII, 131 p. 32 illus., 25 illus. in color. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aCommunications in Computer and Information Science, _x1865-0937 ; _v2078 |
|
505 | 0 | _aWorkshop on Safe Autonomous Systems (SafeAutonomy) -- Providing Evidence For The Validity Of The Virtual Verification Of Automated Driving Systems -- What Level of Power should we give an Automation? - Adjusting the Level of Automation In HCPS -- A Physics-based Fault Tolerance Mechanism for UAVs' Flight Controller -- A Defining an Effective Context for the Safe Operation of Autonomous Systems -- Towards Continuous Assurance Case Creation for ADS with the Evidential Tool Bus -- STARS: A Tool for Measuring Scenario Coverage When Testing Autonomous Robotic Systems -- Workshop on Blockchain Technology and Artificial Intelligence in Smart Cities (TRUST IN BLOCKCHAIN) -- Spatial-Temporal Graph Neural Network for Detecting and Localizing Anomalies in PMU Networks -- On the application of blockchain technology in microgrids -- Power System Transient Stability Prediction in the Face of Cyber Attacks: Employing LSTM-AE to Combat Falsified PMU Data -- Legal Framework on Trustworthy Artificial Intelligence and Blockchain Technology Application -- An Exploratory Study on Trust in Blockchain-Enabled Energy Trading -- Inspecting Bridges and Critical Infrastructure: an AI and Blockchain. | |
520 | _aThis book constitutes the refereed proceedings of Workshops held at the 19th European Dependable Computing Conference, EDCC 2024: First Workshop on Safe Autonomous Systems, SafeAutonomy 2024, and the First Workshop on the Role of TRUST in the implementation of Digital Technologies: Blockchain Technology and Artificial Intelligence in Smart Cities, TRUST IN BLOCKCHAIN 2024. The 13 workshop papers presented in this book were thoroughly reviewed and selected from 14 submissions. The TRUST IN BLOCKCHAIN workshop accepted extended abstract submissions, whereas the SafeAutonomy workshop accepted regular technical papers, case studies, PhD forum papers, as well as position papers. They deal with latest research results on theory, techniques, systems, and tools for the design, validation, operation and evaluation of dependable and secure computing systems. . | ||
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aArtificial intelligence. _93407 |
|
650 | 0 |
_aComputers, Special purpose. _946653 |
|
650 | 0 |
_aComputer networks . _931572 |
|
650 | 1 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aArtificial Intelligence. _93407 |
650 | 2 | 4 |
_aSpecial Purpose and Application-Based Systems. _946654 |
650 | 2 | 4 |
_aComputer Communication Networks. _999861 |
700 | 1 |
_aSangchoolie, Behrooz. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _999863 |
|
700 | 1 |
_aAdler, Rasmus. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _999865 |
|
700 | 1 |
_aHawkins, Richard. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _999866 |
|
700 | 1 |
_aSchleiss, Philipp. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _999868 |
|
700 | 1 |
_aArteconi, Alessia. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _999871 |
|
700 | 1 |
_aMancini, Adriano. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _999872 |
|
710 | 2 |
_aSpringerLink (Online service) _999874 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783031567759 |
776 | 0 | 8 |
_iPrinted edition: _z9783031567773 |
830 | 0 |
_aCommunications in Computer and Information Science, _x1865-0937 ; _v2078 _999876 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-031-56776-6 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
942 | _cEBK | ||
999 |
_c87742 _d87742 |