Screen LibraryDependable computing 14th European Workshop, EWDC 2013, Coimbra, Portugal, May 15-16, 2013 : proceedings /
This book constitutes the thoroughly refereed proceedings of the 14 the European Workshop on Dependable Computing, EWDC 2013, held in Coimbra, Portugal, in May 2013. The 9 full papers and 6 short papers presented were carefully reviewed and selected from 24 submissions. Also included in the volume a...
Saved in:
| Corporate Authors: | ; |
|---|---|
| Group Author: | ; |
| Published: |
|
| Literature type: | Electronic eBook |
| Language: | English |
| Series: |
Lecture notes in computer science,
7869 LNCS sublibrary. SL 2, Programming and software engineering |
| Subjects: | |
| Online Access: |
http://dx.doi.org/10.1007/978-3-642-38789-0 |
| Summary: |
This book constitutes the thoroughly refereed proceedings of the 14 the European Workshop on Dependable Computing, EWDC 2013, held in Coimbra, Portugal, in May 2013. The 9 full papers and 6 short papers presented were carefully reviewed and selected from 24 submissions. Also included in the volume are 6 fast abstracts presenting work in progress or new ideas in the dependability area. The papers are organized in topical sections on wireless sensor networks; cloud computing and services; testing and fault detection, fault injection and benchmarking; and dependable and secure computing. |
| Carrier Form: | 1 online resource (xi, 205 p.) : ill. |
| Bibliography: | Includes bibliographical references and index. |
| ISBN: |
9783642387890 (electronic bk.) 3642387896 (electronic bk.) |
| Index Number: | QA76 |
| CLC: | TP3-532 |
| Contents: |
Wireless Sensor Networks -- Enhancing Intrusion Detection in Wireless Sensor Networks through Decision Trees / Middleware Support for Adaptive Real-Time Applications in Wireless Sensor Networks / Cloud Computing and Services -- Formal Analysis of Dynamic Domain Establishment Protocol in Cloud Logging Service / Model-Driven Evaluation of User-Perceived Service Availability / Exploiting SDN Approach to Tackle Cloud Computing Security Issues in the ATC Scenario / Testing and Fault Detection -- Intercept: Profiling Windows Network Device Drivers / The Challenge of Detection and Diagnosis of Fugacious Hardware Faults in VLSI Designs / GraphSeq Revisited: More Efficient Search for Patterns in Mobility Traces / Fault Injection and Benchmarking -- Issues and Ongoing Work on State-Driven Workload Generation for Distributed Systems / Towards Benchmarking of Functional Safety in the Automotive Industry / Fault Injection in the Automotive Standard ISO 26262: An Initial Approach / Dependable and Secure Computing -- A GPS Spoofing Resilient WAMS for Smart Grid / A Dependable Alternative to the Spanning Tree Protocol / Understanding (Mis)Information Spreading for Improving Corporate Network Trustworthiness / Software Component Replication for Improved Fault-Tolerance: Can Multicore Processors Make It Work? / Fast Abstracts -- GRIMACE: GeneRIc MetAmodel for Domain Component modElling / Improving the Transfer of Safety and Security Competences to Industry: The RISKY Approach / Towards Dependable Measurements in Coastal Sensors Networks / Open Challenges in the Resilience Evaluation of Ad Hoc Networks / Using Interleaving to Avoid the Effects of Multiple Adjacent Faults in On-Chip Interconnection Lines / csXception? First Steps to Provide Fault Injection for the Development of Safe Systems in Automotive Industry / |