9 May 2013

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

No comments: