759 search results - page 56 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
103
Voted
FASE
2005
Springer
15 years 6 months ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
100
Voted
FTCS
1993
15 years 2 months ago
1993
Fault tolerance requirements for near term disk array storage systems are analyzed. The excellent reliability provided by RAID Level 5 data organization is seen to be insu cient f...
95
Voted
ICDAR
2009
IEEE
15 years 7 months ago
2009
IEEE
We describe the results of large-scale experiments with algorithms for unsupervised improvement of recognition of book-images using fully automatic mutual-entropy-based model adap...
87
Voted
ECIS
2001
15 years 2 months ago
2001
It has been conventional wisdom that, for e-commerce to fulfil its potential, each party to a transaction must be confident about the identity of the others. Digital signature tec...
105
Voted
DAC
1994
ACM
15 years 4 months ago
1994
ACM
This paper describes a diagnosis technique for locating design errors in circuit implementations which do not match their functional specification. The method efficiently propagat...