Dependability engineering and complex systems : proceedings of the eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27-July 1, 2016, Brunów, Poland /: proceedings of the eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27-July 1, 2016, Brunów, Poland. (2016)
- Record Type:
- Book
- Title:
- Dependability engineering and complex systems : proceedings of the eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27-July 1, 2016, Brunów, Poland /: proceedings of the eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27-July 1, 2016, Brunów, Poland. (2016)
- Main Title:
- Dependability engineering and complex systems : proceedings of the eleventh International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 27-July 1, 2016, Brunów, Poland
- Other Titles:
- DepCoS-RELCOMEX
- Further Information:
- Note: Wojciech Zamojski, Jacek Mazurkiewicz, Jarosław Sugier, Tomasz Walkowiak, Janusz Kacprzyk, editors.
- Editors:
- Zamojski, Wojciech
(Professor of engineering), Mazurkiewicz, Jacek
Sugier, Jarosław
Walkowiak, Tomasz
Kacprzyk, Janusz - Other Names:
- International Conference on Dependability and Complex Systems, 11th
- Contents:
- Multiclass SVM/HMM Vowels Recognition System Towards Improving Human Computer Interaction -- Numerical Simulation of the Passenger Side Airbag Deployment in Out-of-Position -- Critical Infrastructure Protection -- How to Assess the Protection Efficiency -- Selection of Metrics for the Defect Prediction -- Hybrid Generalized Additive Wavelet-Neuro-Fuzzy-System and its Adaptive Learning -- Data Mining Algorithms in the Analysis of Security Logs from a Honeypot System -- About Synergy of Flows on Flower -- Estimation of Travel Time in the City Based on Intelligent Transportation System Traffic Data with the Use of Neural Networks -- Evaluation of Deletion Mutation Operators in Mutation Testing of C# Programs -- Tracing Life Cycle of Software Bugs -- Modification of Neural Network Tsang-Wang in Algorithm for CAD of Complex Systems with Higher Degree of Dependability -- Simulation and Experimental Analysis of Quality Control of Vehicle Brake Systems Using Flat Plate Tester -- Analytical Identification of Parameters Influencing Measurement Quality Using Flat Brake Tester -- Arithmetic in Finite Fields Supporting Type-2 or Type-3 Optimal Normal Bases -- Stochastic Runge-Kutta Software Package for Stochastic Differential Equations -- The Assessment Method of the Organization of Municipal Waste Collection Zones -- NuSMV Model Verification of an Airport Traffic Control System with Deontic Rules -- Semi-Markov Model of Damage Process -- The Problem of Tyre Footprint Width Estimation byMulticlass SVM/HMM Vowels Recognition System Towards Improving Human Computer Interaction -- Numerical Simulation of the Passenger Side Airbag Deployment in Out-of-Position -- Critical Infrastructure Protection -- How to Assess the Protection Efficiency -- Selection of Metrics for the Defect Prediction -- Hybrid Generalized Additive Wavelet-Neuro-Fuzzy-System and its Adaptive Learning -- Data Mining Algorithms in the Analysis of Security Logs from a Honeypot System -- About Synergy of Flows on Flower -- Estimation of Travel Time in the City Based on Intelligent Transportation System Traffic Data with the Use of Neural Networks -- Evaluation of Deletion Mutation Operators in Mutation Testing of C# Programs -- Tracing Life Cycle of Software Bugs -- Modification of Neural Network Tsang-Wang in Algorithm for CAD of Complex Systems with Higher Degree of Dependability -- Simulation and Experimental Analysis of Quality Control of Vehicle Brake Systems Using Flat Plate Tester -- Analytical Identification of Parameters Influencing Measurement Quality Using Flat Brake Tester -- Arithmetic in Finite Fields Supporting Type-2 or Type-3 Optimal Normal Bases -- Stochastic Runge-Kutta Software Package for Stochastic Differential Equations -- The Assessment Method of the Organization of Municipal Waste Collection Zones -- NuSMV Model Verification of an Airport Traffic Control System with Deontic Rules -- Semi-Markov Model of Damage Process -- The Problem of Tyre Footprint Width Estimation by Fibre Optic WIM Sensors in Condition of Geometric Complexity -- Study of Dependencies Between Concrete Deterioration Parameters of Fly Ash-Based Specimens -- Influence of Data Uncertainty on The Optimum Inspection Period in a Multi-Unit System Maintained According to the Block Inspection Policy -- Effectiveness of Redundancy in Communication Network of Air Traffic Management System -- Resilience Assurance for Software-Based Space Systems with Online Patching: Two Cases -- A Mathematical Model to Regulate Roads Traffic in Order to Decongest the Urban Areas of Constantine City -- The Use of a Simulation Model of the Passenger Boarding Process to Estimate the Time of its Implementation Using Various Strategies -- WLAN System with Iterative Decoding of OFDM Multi-Symbols -- Context Information in a Collaborative Recommender System Deployed in Real Environment -- The Concept of the Effective Multi-Channel CSMA/CA Detector -- Clustering Context Items into User Trust Levels -- Dependability Metrics for Network Systems -- Analytical and Experimental Analysis -- Assessing the Costs of Losses Incurred as a Result of Failure -- Impulse Transmission Model of Macroeconomic Cycle within the Framework of the Theory of Shocks: Aspect of Economic Security -- Multi-agent Systems for Intelligent Retrieval and Processing of Information.-Architecture for Internet of Things Analytical Ecosystem -- Optimal Path Evolution in a Dynamic Distributed MEMS-based Conveyor -- The Issue of Analyzing Measurement Data of Driving Speed in Large Urban Areas -- Implication of Availability of an Electrical System of a Wind Farm for the Farm's Output Power Estimation -- CPU Utilization Analysis of Selected Genetic Algorithms in Multi-Core Systems for a Certain Class Of Problems -- Monitoring Reliability of Embedded Systems -- Implementation Efficiency of BLAKE and Other Contemporary Hash Algorithms in Popular FPGA Devices -- Risk Analysis of Interference Railway GSM-R System in Polish Conditions -- Water Producers Risk Analysis Connected with Collective Water Supply System Functioning -- Analysis of Reshuffling Cost at a Container Terminal -- Scheduling in Grid Based on VO Stakeholders Preferences and Criteria -- Vulnerability of Passenger Transportation System -- the Main Information Provided by Key Stakeholders. Case Study -- Asynchronous System for Clustering and Classifications of Texts in Polish -- Simulation-based Dependability Analysis of Systems in Multiple Time-Horizons -- Compression Codec Change Mechanisms During a VoIP Call -- Dependability Model of an Area Monitoring System with Mobile Sensors -- Supr: Adaptive Byzantine Fault-Tolerant Replication -- Flood Risk Assessment from Flash Floods in Bodva River Basin, Slovakia -- Invariant-based Performance Analysis of Timed Petri Net Models. … (more)
- Publisher Details:
- Switzerland : Springer
- Publication Date:
- 2016
- Extent:
- 1 online resource (xiii, 606 pages), illustrations (some color)
- Subjects:
- 003
Engineering
System theory -- Congresses
Computational complexity -- Congresses
Reliability (Engineering) -- Congresses
Computational complexity
Reliability (Engineering)
System theory
SCIENCE / System Theory
TECHNOLOGY & ENGINEERING / Operations Research
Computers -- Intelligence (AI) & Semantics
Technology & Engineering -- General
Artificial intelligence
Cybernetics & systems theory
Artificial intelligence
Conference papers and proceedings
Electronic books - Languages:
- English
- ISBNs:
- 9783319396392
3319396390
3319396382
9783319396385 - Related ISBNs:
- 9783319396385
- Notes:
- Note: Includes bibliographical references at the end of each chapters and index.
Note: Online resource; title from PDF title page (SpringerLink, viewed June 29, 2016). - Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.356128
- Ingest File:
- 01_316.xml