Dependable Computer Systems (Record no. 107971)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03933nam a22004935i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-642-21393-9 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20140220083804.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 110630s2011 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783642213939 |
| -- | 978-3-642-21393-9 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-642-21393-9 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | Q342 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | UYQ |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | COM004000 |
| Source | bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 006.3 |
| Edition number | 23 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Zamojski, Wojciech. |
| Relator term | editor. |
| 245 10 - TITLE STATEMENT | |
| Title | Dependable Computer Systems |
| Medium | [electronic resource] / |
| Statement of responsibility, etc | edited by Wojciech Zamojski, Janusz Kacprzyk, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak. |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg, |
| -- | 2011. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | XIV, 314p. 126 illus. |
| Other physical details | online resource. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Advances in Intelligent and Soft Computing, |
| International Standard Serial Number | 1867-5662 ; |
| Volume number/sequential designation | 97 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | From the content: Patterns improving the Common Criteria compliant IT security development process -- A comparison of dataflow and mutation testing of Java methods -- A new three levels context based approach for web search engines evaluation -- Quantitative Verification of Non-Functional Requirements with Uncertainty -- Testing Fault Susceptibility of a Satellite Power Controller -- Theoretical and Practical Aspects of Encrypted Containers Detection - Digital Forensics Approach -- Metric-Probabilistic Assessment of Multi-Version Systems: Some Models and Techniques -- Two-level software rejuvenation model with increasing failure rate degradation -- Towards a UML profile for Maintenance Process and Reliability Analysis -- Conjoining Fault Trees with Petri Nets to model repair policies -- Analysis of geometric features of handwriting to discover a forgery. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | Dependability analysis is the recent approach to performance evaluation of contemporary systems which tries to cope with new challenges that are brought with their unprecedented complexity, size and diversity. Especially in case of computer systems and networks such evaluation must be based on multidisciplinary approach to theory, technology, and maintenance of systems which operate in real (and very often unfriendly) environments. As opposed to “classic” reliability which focuses mainly on technical aspects of system functioning, dependability studies investigate the systems as multifaceted and sophisticated amalgamations of technical, information and also human resources. This monograph presents selected new developments in such areas of dependability research as mathematical models, evaluation of software, probabilistic assessment, methodologies, tools, and technologies. Intelligent and soft computing methods help to resolve fundamental problems of dependability analysis which are caused by the fact that in contemporary computer systems it is often difficult to find a relation between system elements and system events (the relation between reasons and results) and it is even more difficult to define strict mathematical models with “analytical” relationships between such phenomena. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Artificial intelligence. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Engineering. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Computational Intelligence. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Artificial Intelligence (incl. Robotics). |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Kacprzyk, Janusz. |
| Relator term | editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Mazurkiewicz, Jacek. |
| Relator term | editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Sugier, Jarosław. |
| Relator term | editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Walkowiak, Tomasz. |
| Relator term | editor. |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Display text | Printed edition: |
| International Standard Book Number | 9783642213922 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Advances in Intelligent and Soft Computing, |
| -- | 1867-5662 ; |
| Volume number/sequential designation | 97 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/978-3-642-21393-9 |
| 912 ## - | |
| -- | ZDB-2-ENG |
No items available.