Informatik (15.755 Artikel)

An Imprecise Probabilistic Approach

NL

Invited Talks.- Probabilistic Validation of Computer System Survivability.- Timed Asynchronous Distributed Systems.- WLAN in Automation - More Than an Academic Exercise?.- Evaluation.- Using Strati...

Invited Talks.- Reliability, Safety, and Security in Everyday Embedded Systems (Extended Abstract).- Nanoscale Technologies: Prospect or Hazard to Dependable and Secure Computing?.- Fault-Tolerant ...

Invited Talks.- Dependability Benchmarking: How Far Are We?.- Safety-Critical Systems in Air Traffic Management.- Managed Utility Computing: The Grid as Management Backplane.- Fault Injection.- Plu...

It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the ?eld of dependability in the European resea...

This book constitutes refereed proceedings of the Workshops of the 16th European Dependable Computing Conference, EDCC: 1st Workshop on Articial Intelligence for Railways, AI4RAILS 2020, 1st Worskh...

This book constitutes refereed proceedings of the Workshops of the 17th European Dependable Computing Conference, EDCC: Second Worskhop on Dynamic Risk Management for Autonomous Systems, DREAMS 202...

This book constitutes refereed proceedings of the Workshops of the 18th European Dependable Computing Conference, EDCC: 13th Workshop on Software Engineering for Resilient Systems, SERENE 2022; Thi...

This book constitutes the refereed proceedings of Workshops held at the 19th European Dependable Computing Conference, EDCC 2024: First Workshop on Safe Autonomous Systems, SafeAutonomy 2024, and t...

This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. EDCC is the merger of two former European events on depe...

This book constitutes the refereed proceedings of the Second European Dependable Computing Conference, EDCC-2, held in Taormina, Italy, in October 1996.The book presents 26 revised full papers sele...

It was with great pleasure that, on behalf of the entire organizing committee, I welcomed participants to EDCC-4, the Fourth European Dependable Computing Conference, held for the ?rst time in Fran...

The International Working Conference on Dependable Computing for Critical Applications was the first conference organized by IFIP Working Group 10. 4 "Dependable Computing and Fault Tolerance", in ...

This volume contains the papers presented at the Second International Work ing Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group lOA and held in Tucson, ...