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.
Computer Safety, Reliability, and Security [[electronic resource] ] : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings / / edited by Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche
| Computer Safety, Reliability, and Security [[electronic resource] ] : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings / / edited by Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 304 p. 109 illus.) |
| 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-40793-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Safety Requirements and Assurance -- Testing and Verification -- Security -- Software Reliability Assessment -- Practical Experience Reports and Tools -- Safety Assurance in Automotive -- Error Control Codes -- Dependable User Interfaces.- Hazard and Failure Mode Analysis. |
| Record Nr. | UNISA-996466032103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Safety, Reliability, and Security : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings / / edited by Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche
| Computer Safety, Reliability, and Security : 32nd International Conference, SAFECOMP 2013, Toulouse, France, September 14-27, 2013, Proceedings / / edited by Friedemann Bitsch, Jérémie Guiochet, Mohamed Kaâniche |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 304 p. 109 illus.) |
| Disciplina | 005.8 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Data protection
Computer networks Software engineering Algorithms Computers and civilization Computers, Special purpose Data and Information Security Computer Communication Networks Software Engineering Computers and Society Special Purpose and Application-Based Systems |
| ISBN | 3-642-40793-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Safety Requirements and Assurance -- Testing and Verification -- Security -- Software Reliability Assessment -- Practical Experience Reports and Tools -- Safety Assurance in Automotive -- Error Control Codes -- Dependable User Interfaces.- Hazard and Failure Mode Analysis. |
| Record Nr. | UNINA-9910484673703321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Dependable Computing - EDCC 2005 [[electronic resource] ] : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings / / edited by Mario Dal Cin, Mohamed Kaâniche, András Pataricza
| Dependable Computing - EDCC 2005 [[electronic resource] ] : 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings / / edited by Mario Dal Cin, Mohamed Kaâniche, András Pataricza |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XVI, 480 p.) |
| Disciplina | 004.2 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Special purpose computers Computer system failures Computer hardware Software Engineering Special Purpose and Application-Based Systems System Performance and Evaluation Computer Hardware |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote I -- A Process Toward Total Dependability – Airbus Fly-by-Wire Paradigm -- Session 1A: Distributed Algorithms -- Building and Using Quorums Despite any Number of Process of Crashes -- Failure Detection with Booting in Partially Synchronous Systems -- Total Order Communications: A Practical Analysis -- Gracefully Degrading Fair Exchange with Security Modules -- Session 1B: Fault Tolerant Design and Protocols -- Adding Fault-Tolerance Using Pre-synthesized Components -- Efficiency of Dynamic Arbitration in TDMA Protocols -- An Architectural Framework for Detecting Process Hangs/Crashes -- Energy Efficient Configuration for QoS in Reliable Parallel Servers -- Session 2A: Practical Experience Reports and Tools I -- Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems -- Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA -- Performance Evaluation of Consistent Recovery Protocols Using MPICH-GF -- Session 2B: Assessment and Analysis -- An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System -- The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision -- Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA) -- Panel -- Dependability Challenges and Education Perspectives -- Keynote II -- Availability in Industry and Science – A Business Perspective - -- Session 3A: Measurement -- Fast Run-Time Reconfiguration for SEU Injection -- Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency -- A Data Mining Approach to Identify Key Factors in Dependability Experiments -- Session 3B: Practical Experience Reports and Tools II -- PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis -- A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems -- A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems -- Session 4A: Hardware Verification -- Deterministic Test Vector Compression / Decompression Using an Embedded Processor -- Efficient Single-Pattern Fault Simulation on Structurally Synthesized BDDs -- Session 4B: Fast Abstracts I Session 5A: Dependable Networking -- Structure-Based Resilience Metrics for Service-Oriented Networks -- Efficient Protection of Many-to-One Communications -- Session 5B: Fast Abstracts II Session 6A: Practical Experience Reports and Tools III -- Impact of Faults in Combinational Logic of Commercial Microcontrollers -- Implementation of a Testing and Diagnostic Concept for an NPP Reactor Protection System -- COMPAS – Compressed Test Pattern Sequencer for Scan Based Circuits -- Session 6B: Reliability Engineering and Testing -- Fault Links: Exploring the Relationship Between Module and Fault Types -- Model-Based Identification of Fault-Prone Components -- Regression Test Selection for Testable Classes. |
| Record Nr. | UNISA-996465970303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verification and Evaluation of Computer and Communication Systems [[electronic resource] ] : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings / / edited by Pierre Ganty, Mohamed Kaâniche
| Verification and Evaluation of Computer and Communication Systems [[electronic resource] ] : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings / / edited by Pierre Ganty, Mohamed Kaâniche |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIII, 111 p. 121 illus., 12 illus. in color.) |
| Disciplina | 004.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer engineering
Computer networks Software engineering Computers Professions Computer science Database management Algorithms Computer Engineering and Networks Software Engineering The Computing Profession Computer Science Logic and Foundations of Programming Database Management |
| ISBN | 3-030-35092-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling Concurrent Behaviors as Words,- Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems -- Static Detection of Event-Driven Races in HTML5-Based Mobile Apps -- Analyzing Security Protocols Using Scenario Based Simulation -- Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis -- Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules -- Importance-Based Scheduling to Manage Multiple Core Defections in Real-Time Systems. . |
| Record Nr. | UNISA-996466287403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Verification and Evaluation of Computer and Communication Systems : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings / / edited by Pierre Ganty, Mohamed Kaâniche
| Verification and Evaluation of Computer and Communication Systems : 13th International Conference, VECoS 2019, Porto, Portugal, October 9, 2019, Proceedings / / edited by Pierre Ganty, Mohamed Kaâniche |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIII, 111 p. 121 illus., 12 illus. in color.) |
| Disciplina | 004.6 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer engineering
Computer networks Software engineering Computers Professions Computer science Database management Algorithms Computer Engineering and Networks Software Engineering The Computing Profession Computer Science Logic and Foundations of Programming Database Management |
| ISBN | 3-030-35092-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Modeling Concurrent Behaviors as Words,- Non-Standard Zeno-Free Simulation Semantics for Hybrid Dynamical Systems -- Static Detection of Event-Driven Races in HTML5-Based Mobile Apps -- Analyzing Security Protocols Using Scenario Based Simulation -- Running on Fumes - Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis -- Estimating Latency for Synchronous Dataflow Graphs Using Periodic Schedules -- Importance-Based Scheduling to Manage Multiple Core Defections in Real-Time Systems. . |
| Record Nr. | UNINA-9910357844203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||