New results in dependability and computer systems : proceedings of the 8th International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, September 9-13, 2013, Brunow, Poland / / Wojciech Zamojski ... [et. al.], eds |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Heidelberg, : Springer, 2013 |
Descrizione fisica | 1 online resource (xv, 554 pages) : illustrations (some color) |
Disciplina | 003.5 |
Altri autori (Persone) | ZamojskiWojciech |
Collana | Advances in intelligent systems and computing |
Soggetto topico |
Computer systems - Congresses
System design |
ISBN | 3-319-00945-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Application Level Execution Model for Transparent Distributed Computing -- Software support of the risk reduction assessment in the ValueSec project flood use case -- Risk assessment aspects in mastering the value function of security measures -- Reduction of computational cost in mutation testing by sampling mutants -- Use of Neural Network Algorithms in Prediction of XLPE HV Insulation Properties Under Thermal Aging -- Computer simulation analysis of cluster model of totally-connected flows on the chain mail1 -- Assessment of network coding mechanism for the network protocol stack -- Reliability analysis of discrete transportation systems using critical states -- A reference model for the selection of Open Source tools for requirements management -- A Probabilistic Approach to the Count-to-Infinity Problem in Distance-Vector Routing Algorithms -- A quality estimation of mutation clustering in C# programs -- Using Virtualization Technology for Fault-Tolerant Replication in LAN. |
Record Nr. | UNINA-9910437805703321 |
Heidelberg, : Springer, 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Proceedings of the 11th ACM SIGOPS Asia-Pacific Workshop on Systems / / Association for Computing Machinery |
Pubbl/distr/stampa | New York : , : Association for Computing Machinery, , 2020 |
Descrizione fisica | 1 online resource |
Disciplina | 004 |
Soggetto topico |
Computer systems - Congresses
Neural networks (Computer science) Operating systems (Computers) |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910416158803321 |
New York : , : Association for Computing Machinery, , 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|