605 search results - page 3 / 121 » A strategy for efficiently verifying requirements |
ISPEC
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Undeniable signatures, introduced by Chaum and van Antwerpen, require a verifier to interact with the signer to verify a signature, and hence allow the signer to control ...
CVPR
2007
IEEE
14 years 7 months ago
2007
IEEE
We present an approach for object recognition that combines detection and segmentation within a efficient hypothesize/test framework. Scanning-window template classifiers are the ...
KES
2008
Springer
13 years 5 months ago
2008
Springer
Software testing is an integral part of software engineering. Lack of testing often leads to disastrous consequences including loss of data, fortunes, and even lives. In order to e...
EJWCN
2010
13 years 6 days ago
2010
Information collection in the disaster area is an important application of pigeon networks - a special type of delay tolerant networks (DTN) that borrows the ancient idea of using ...
JAR
2006
13 years 5 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...