2935 search results - page 139 / 587 » An Integrated Approach to High Integrity Software Verificati... |
193
click to vote
AVI
2004
15 years 6 months ago
2004
Understanding complex 3D virtual models can be difficult, especially when the model has interior components not initially visible and ancillary text. We describe new techniques fo...
118
click to vote
ICBA
2004
Springer
15 years 10 months ago
2004
Springer
This paper proposes a hardware-based line feature enhancement approach that uses a palmprint acquisition device fitted with a time-sharing light source. When capturing images, two ...
179
click to vote
ASE
1998
15 years 4 months ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
138
click to vote
EDOC
2007
IEEE
15 years 11 months ago
2007
IEEE
Dependable software systems are difficult to develop because developers must understand and address several interdependent and pervasive dependability concerns. Features that addr...
132
click to vote
ICECCS
2005
IEEE
15 years 10 months ago
2005
IEEE
Component-based technology is increasingly adopted to speed up the development of complex software through component reuse. Unfortunately, the lack of complete information about r...