Systems' Verification Validation and Testing (VVT) are carried out throughout systems'
lifetimes. Notably, quality-cost expended on performing VVT activities and correcting system …

This paper presents the results of the HDSRC 2014 competition on handwritten digit string
recognition in challenging datasets organized in conjunction with ICFHR 2014. The general …

Concurrency problems such as starvation and deadlocks should be identified early in the
design process. As larger, more complex concurrent systems are being developed, this is …

Software license management allows independent software vendors (ISVs) to control the
access of their products. It is a fundamental part of the ISVs' business strategy. A wide range …

Computer security professionals and researchers are investigating proactive techniques for
studying network-based attack behavior. Attack modeling is one of these research areas. In …

Embedded systems are systems which have ongoing interactions with their environments,
accepting requests and producing responses. Such systems are increasingly used in …

Security flaws in software applications today has been attributed mostly to design flaws. With
limited budget and time to release software into the market, many developers often consider …

A service composition consists of multiple interacting Web Services that provide a
functionality to meet a specific set of requirements. It is essential to verify that the functional …

Handwritten text found in historical documents is often difficult to read due to issues such as
contrast, noise and degradation. There has been much work on how to process such …

Software design flaws account for 50% software security vulnerability today. As attacks on
vulnerable software continue to increase, the demand for secure software is also increasing …