41 search results - page 4 / 9 » An Overview about the DynaQuest Framework |
ACSAC
2000
IEEE
13 years 12 months ago
2000
IEEE
Digital signature schemes are based on the assumption that the signing key is kept in secret. Ensuring that this assumption holds is one of the most crucial problems for all curre...
IPPS
2007
IEEE
14 years 1 months ago
2007
IEEE
Shrack is a peer-to-peer framework for document sharing and tracking. Shrack peers provide support to researchers in forming direct collaboration in autonomous sharing and keeping...
TCIAIG
2010
13 years 2 months ago
2010
In this paper, we overview the 2009 Simulated Car Racing Championship--an event comprising three competitions held in association with the 2009 IEEE Congress on Evolutionary Comput...
JIIS
2008
13 years 7 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
TACAS
2012
Springer
12 years 3 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...