Special issue: "Dependability and Security in a Nordic Perspective - Part II"

International Journal of Critical Computer-Based Systems 4(1) 2013

Expanded versions of papers presented at the 4th and 5th Nordic Workshops on Dependability and Security (NODES ‘10 and NODES ‘11).

• A formal approach to H.264 video decoding on multicore systems
• Dynamic allocation and admission policies for QoS-aware provisioning systems
• A distributed design of a network recovery algorithm
• A refinement-based approach to developing critical multi-agent systems