Computer Safety, Reliability, and Security [[electronic resource] ] : 30th International Conference, SAFECOMP 2011, Naples, Italy, September 19-22, 2011, Proceedings / / edited by Francesco Flammini, Sandro Bologna, Valeria Vittorini |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (XI, 482 p. 180 illus., 93 illus. in color.) |
Disciplina | 005.8 |
Collana | Programming and Software Engineering |
Soggetto topico |
Computer security
Computer communication systems Software engineering Algorithms Computers and civilization Special purpose computers Systems and Data Security Computer Communication Networks Software Engineering Algorithm Analysis and Problem Complexity Computers and Society Special Purpose and Application-Based Systems |
ISBN | 3-642-24270-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465931603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Dependable Computing - EDCC 2020 Workshops [[electronic resource] ] : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings / / edited by Simona Bernardi, Valeria Vittorini, Francesco Flammini, Roberto Nardone, Stefano Marrone, Rasmus Adler, Daniel Schneider, Philipp Schleiß, Nicola Nostro, Rasmus Løvenstein Olsen, Amleto Di Salle, Paolo Masci |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (226 pages) |
Disciplina | 006.3 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Architecture, Computer Application software Education—Data processing Software Engineering Artificial Intelligence Computer Communication Networks Computer System Implementation Computer Applications Computers and Education |
ISBN | 3-030-58462-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Workshop on Articial Intelligence for RAILwayS (AI4RAILS) -- Worskhop on Dynamic Risk managEment for AutonomousSystems (DREAMS) -- Workshop on Dependable SOlutions for IntelligentElectricity Distribution GRIds (DSOGRI) -- Workshop on Software Engineering for Resilient Systems (SERENE). |
Record Nr. | UNISA-996465368803316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Dependable Computing - EDCC 2020 Workshops : AI4RAILS, DREAMS, DSOGRI, SERENE 2020, Munich, Germany, September 7, 2020, Proceedings / / edited by Simona Bernardi, Valeria Vittorini, Francesco Flammini, Roberto Nardone, Stefano Marrone, Rasmus Adler, Daniel Schneider, Philipp Schleiß, Nicola Nostro, Rasmus Løvenstein Olsen, Amleto Di Salle, Paolo Masci |
Edizione | [1st ed. 2020.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
Descrizione fisica | 1 online resource (226 pages) |
Disciplina |
006.3
005.1 |
Collana | Communications in Computer and Information Science |
Soggetto topico |
Software engineering
Artificial intelligence Computer communication systems Architecture, Computer Application software Education—Data processing Software Engineering Artificial Intelligence Computer Communication Networks Computer System Implementation Computer Applications Computers and Education |
ISBN | 3-030-58462-3 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Workshop on Articial Intelligence for RAILwayS (AI4RAILS) -- Worskhop on Dynamic Risk managEment for AutonomousSystems (DREAMS) -- Workshop on Dependable SOlutions for IntelligentElectricity Distribution GRIds (DSOGRI) -- Workshop on Software Engineering for Resilient Systems (SERENE). |
Record Nr. | UNINA-9910416078503321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Railway Infrastructure Security / / edited by Roberto Setola, Antonio Sforza, Valeria Vittorini, Concetta Pragliola |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (255 p.) |
Disciplina | 623.6 |
Collana | Topics in Safety, Risk, Reliability and Quality |
Soggetto topico |
Quality control
Reliability Industrial safety Operations research Decision making Computer simulation Engineering economy System safety Quality Control, Reliability, Safety and Risk Operations Research/Decision Theory Simulation and Modeling Engineering Economics, Organization, Logistics, Marketing Security Science and Technology |
ISBN | 3-319-04426-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | The Railway Infrastructure Security -- Towards integrated railway protection -- The FSI experience -- Vulnerability assessment in RIS scenario through a synergic use of the CPTED methodology and the System Dynamics approach -- Cumana and Circumflegrea railway lines: a circle network in the western metropolitan area of Naples -- Coping with suicide bombing Israel railways security challenges 2000 – 2005 -- Technologies for the implementation of a security system on rail transportation infrastructures -- A Model-Driven Process for Physical Protection System Design and Vulnerability Evaluation -- Optimal location of security devices -- The METRIP tool -- Optimizing Investment Decisions for Railway Systems Protection -- The Security into the Metro system: the Copenhagen Metro experience. . |
Record Nr. | UNINA-9910299687803321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|