23098 search results - page 4279 / 4620 » Component Based Development |
202
Voted
KBSE
2005
IEEE
16 years 8 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
183
click to vote
HT
2005
ACM
16 years 8 days ago
2005
ACM
In recent years, many algorithms for the Web have been developed that work with information units distinct from individual web pages. These include segments of web pages or aggreg...
197
click to vote
MM
2005
ACM
16 years 8 days ago
2005
ACM
Content–based image retrieval in the medical domain is an extremely hot topic in medical imaging as it promises to help better managing the large amount of medical images being ...
167
click to vote
MSR
2005
ACM
16 years 8 days ago
2005
ACM
Refactoring is one means of improving the structure of existing software. Locations for the application of refactoring are often based on subjective perceptions such as ”bad sme...
202
click to vote
SENSYS
2005
ACM
16 years 8 days ago
2005
ACM
Sensing technology is a cornerstone for many industrial applications. Manufacturing plants and engineering facilities, such as shipboard engine rooms, require sensors to ensure pr...