2935 search results - page 165 / 587 » An Integrated Approach to High Integrity Software Verificati... |
176
click to vote
BIOID
2008
15 years 8 months ago
2008
Biometrics is the automated method of recognizing a person based on a physiological or behavioural characteristic. Biometric technologies are becoming the foundation of an extensiv...
181
click to vote
HPDC
2010
IEEE
15 years 7 months ago
2010
IEEE
Data is routinely created, disseminated, and processed in distributed systems that span multiple administrative domains. To maintain accountability while the data is transformed b...
163
click to vote
STEP
2005
IEEE
16 years 3 days ago
2005
IEEE
Maintenance costs make up the bulk of the total life cycle costs of a software system. Besides organizational issues such as knowledge management and turnover, the longterm mainte...
154
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. As the number and scope of government regulations and rules mandating trustworthy retention of data keep growing, businesses today are facing a higher degree of regulatio...
148
click to vote
LREC
2010
15 years 8 months ago
2010
In Natural Language Processing (NLP), the quality of a system depends to a great extent on the quality of the linguistic resources it uses. Due to the unpredictable character of v...