10 September 2011

Special issue: Verification and evaluation of computer and communication systems – Part I

International Journal of Critical Computer-Based Systems 2(3/4) 2011

Papers from the technical sessions of the last four editions of International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS) held in 2007 in Algiers, 2008 in Leeds, 2009 in Rabat, and 2010 in Paris.
  • Improving the consistency verification and the quality of multimedia presentations
  • An approach for the synthesis of decentralised supervisors for distributed adaptive systems
  • Real-time scheduling using regularity criteria and a geometrical approach
  • A tile logic-based semantics for mobile software architectures
  • Steady state property verification of very large systems
  • Specification and verification of real-time systems using POLA
  • OS-level hang detection in complex software systems
  • Functional term rewriting systems towards symbolic model-checking

No comments: