2935 search results - page 253 / 587 » An Integrated Approach to High Integrity Software Verificati... |
164
click to vote
ICIP
1999
IEEE
16 years 8 months ago
1999
IEEE
We proposea new ngerprint imagecompressionscheme based on the hybrid model of image. Our scheme uses the essential steps of a typical automated ngerprint identi cation system (AFI...
174
click to vote
NDSS
2005
IEEE
16 years 6 days ago
2005
IEEE
In this paper, we present an approach for realizing a safe execution environment (SEE) that enables users to “try out” new software (or configuration changes to existing soft...
179
click to vote
HIPC
2003
Springer
15 years 12 months ago
2003
Springer
The use of feedback control techniques has been gaining importance in real-time scheduling as a means to provide predictable performance in the face of uncertain workload. In this ...
195
click to vote
CSMR
2002
IEEE
15 years 11 months ago
2002
IEEE
Reengineering existing (large-scale) applications to the web is a complex and highly challenging task. This is due to a variety of mostly demanding requirements for interactive we...
172
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...