The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
A new reversible watermarking algorithm based on the difference expansion of colored images has been developed. Since the watermark is completely reversible, the original image ca...
At the heart of a well-disciplined, systematic methodology that explicitly supports the use of COTS components is a clearly defined process for effectively using components that m...
Abstract: We are developing a new mashup framework for creating flexible applications in which users can selectively browse through mashup items. The framework provides GUI compone...
A system for exploring intrinsic evolution of linear and non-linear filter systems is described. It consists of a testbed topology of operational amplifiers and linear or non-line...