New results in dependability and computer systems : proceedings of the 8th international conference on dependability and complex systems DepCoS-RELCOMEX, September 9-13, 2013, Brunów, Poland
DepCoS RELCOMEX is an annual series of conferences organized by the Institute of Computer Engineering, Control and Robotics (CECR), Wrocław University of Technology, since 2006. Its idea came from the heritage of the other two cycles of events: RELCOMEX Conferences (1977 89) and Microcomputer School...
Salvato in:
| Altri autori: | , , , , |
|---|---|
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Cham :
Springer International Publishing
[20..].
Cham : Springer Nature |
| Edizione: | 1st ed. 2013. |
| Serie: | Advances in Intelligent Systems and Computing
224 |
| Accesso online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • New Results in Dependability and Computer Systems, Texte imprimé, 9783319009445 • New Results in Dependability and Computer Systems, Texte imprimé, 9783319009469 • New Results in Dependability and Computer Systems, Texte imprimé, 9783319009445 |
| LEADER | 04795nam a22003977a 4500 | ||
|---|---|---|---|
| 001 | 946546 | ||
| 008 | 130704q2000 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN170489922 | ||
| 020 | |a 9783319009452 | ||
| 041 | 0 | |a eng | |
| 082 | |a 006.3 | ||
| 245 | 0 | 0 | |a New results in dependability and computer systems : |b proceedings of the 8th international conference on dependability and complex systems DepCoS-RELCOMEX, September 9-13, 2013, Brunów, Poland |c edited by Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk. |
| 250 | |a 1st ed. 2013. | ||
| 260 | |a Cham : |b Springer International Publishing. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Advances in Intelligent Systems and Computing |v 224 |x 2194-5365 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 1 | |a 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 | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a DepCoS RELCOMEX is an annual series of conferences organized by the Institute of Computer Engineering, Control and Robotics (CECR), Wrocław University of Technology, since 2006. Its idea came from the heritage of the other two cycles of events: RELCOMEX Conferences (1977 89) and Microcomputer Schools (1985 95) which were then organized by the Institute of Engineering Cybernetics, the previous name of CECR. In contrast to those preceding meetings focused on the conventional reliability analysis, the DepCoS mission is to develop a more comprehensive approach to computer system performability which is now commonly called dependability. Contemporary technical systems are integrated unities of technical, information, organization, software and human resources. Diversity of the processes being realized in the system, their concurrency and their reliance on in-system intelligence significantly impedes construction of strict mathematical models and calls for application of intelligent and soft computing methods. The submissions included in this volume illustrate variety of problems that need to be explored in the dependability analysis: methodologies and practical tools for modelling, design and simulation of the systems, security and confidentiality in information processing, specific issues of heterogeneous, today often wireless, computer networks, or management of transportation networks. | ||
| 700 | 1 | |a Zamojski, Wojciech. |4 pbd | |
| 700 | 1 | |a Mazurkiewicz, Jacek. |4 pbd | |
| 700 | 1 | |a Sugier, Jarosław. |4 pbd | |
| 700 | 1 | |a Walkowiak, Tomasz. |4 pbd | |
| 700 | 1 | |a Kacprzyk, Janusz, |d 1947- |4 pbd | |
| 776 | 0 | |t New Results in Dependability and Computer Systems |b Texte imprimé |z 9783319009445 | |
| 776 | 0 | |t New Results in Dependability and Computer Systems |b Texte imprimé |z 9783319009469 | |
| 776 | 0 | |t New Results in Dependability and Computer Systems |b Texte imprimé |z 9783319009445 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-3-319-00945-2 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-GFWF20SV-3 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747825483 |u https://ezproxy.univ-orleans.fr/login?url=https://dx.doi.org/10.1007/978-3-319-00945-2 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:75084261X |u https://ezproxy.insa-cvl.fr/login?qurl=https://dx.doi.org/10.1007/978-3-319-00945-2 |z Accès INSA CVL | |
| 997 | |0 946546 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||