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...
System-levelpartitioning assigns functionalobjects such as tasks or code segments to system-level components such as o-the-shelf processors or application-specic architectures in...
Self-adapting software adapts its behavior in an autonomic way, by dynamically adding, suppressing and recomposing components, and by the use of computational reflection. One way t...
We study the stability and oscillation of traveling fronts in a three-component, advection-reaction biodegradation model. The three components are pollutant, nutrient, and bacteria...
Modeling data by multiple low-dimensional planes is an important problem in many applications such as computer vision and pattern recognition. In the most general setting where on...