Software development is a complex and error-prone task. An important factor during the development of complex systems is the understanding of the dependencies that exist between d...
Web authoring environments enable end-users to create applications that integrate information from other web sources. Users can create web sites that include built-in components t...
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
Service oriented architecture (SOA) design principles are increasingly being adopted to develop distributed real-time and embedded (DRE) systems, such as avionics mission computin...
Abstract. Estimating the degree of similarity between images is a challenging task as the similarity always depends on the context. Because of this context dependency, it seems qui...