The Egyptian protests in early 2011 took many by surprise. In the days immediately following, commentators wondered openly over the changing situation across the Middle East. But protest is nothing new to Egypt, and labor activism and political activism, most notably the Kifaya (Enough) movement, have increased dramatically over recent years. In hindsight, it is the durability of the Mubarak regime, not its sudden loss of legitimacy that should be more surprising. Though many have turned to social media for explanation of the events, in this book, Samer Soliman follows the age-old...

This book constitutes the refereed proceedings of 5 workshops co-located with SAFECOMP 2012, the 31st International Conference on Computer Safety, Reliability, and Security, held in Magdeburg, Germany, in September 2012.
The 49 revised full papers presented were carefully reviewed and selected from numerous submissions. According to the workshops covered, the papers are organized in topical sections on: next generation of system assurance approaches for safety-critical systems (Sassur), architecting safety in collaborative mobile systems (ASCoMS), dependable and secure computing for...

This book constitutes the refereed proceedings of the 31st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012, held in Magdeburg, Germany, in September 2012. The 33 revised full papers presented were carefully reviewed and selected from more than 70 submissions. The papers are organized in topical sections on tools, risk analysis, testing, quantitative analysis, security, formal methods, aeronautic, automotive, and process. Also included are 4 case studies.