731 search results - page 44 / 147 » Specification Matching of Software Components |
EDBT
2008
ACM
14 years 10 months ago
2008
ACM
The capability to easily find useful services (software applications, software components, scientific computations) becomes increasingly critical in several fields. Current approa...
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
Software engineers frequently update COTS components integrated in component-based systems, and can often chose among many candidates produced by different vendors. This paper tac...
ITCC
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper presents an approach to the architectural design and analysis of secure software systems based on the system requirements elicited in the form of use cases and misuse c...
TSE
2010
13 years 8 months ago
2010
—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...
MICCAI
2007
Springer
14 years 10 months ago
2007
Springer
There exists a large body of literature on shape matching and registration in medical image analysis. However, most of the previous work is focused on matching particular sets of f...