1288 search results - page 204 / 258 » On Analysis of Design Component Contracts: A Case Study |
128
click to vote
ASE
2002
15 years 1 months ago
2002
The cost of maintaining a software system over a long period of time far exceeds its initial development cost. Much of the maintenance cost is attributed to the time required by ne...
114
click to vote
ENTCS
2002
15 years 1 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
145
click to vote
TMI
2010
14 years 12 months ago
2010
—Medical image registration is an important task in medical image processing. It refers to the process of aligning data sets, possibly from different modalities (e.g., magnetic r...
165
click to vote
CLADE
2008
IEEE
15 years 8 months ago
2008
IEEE
With the exponential growth of complete genome sequences, the analysis of these sequences is becoming a powerful approach to build genome-scale metabolic models. These models can ...
103
click to vote
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
Future large-scale software development projects will require engineering support for a diverse range of software quality attributes, such as privacy and openness. It is not feasi...