1518 search results - page 98 / 304 » Cryptographic Test Correction |
135
Voted
IJCNN
2007
IEEE
15 years 10 months ago
2007
IEEE
—Default ARTMAP combines winner-take-all category node activation during training, distributed activation during testing, and a set of default parameter values that define a read...
151
Voted
SPIN
2007
Springer
15 years 9 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
113
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Reliance on skilled developers reduces the return on investment for important software engineering tasks such as establishing program correctness. This position paper introduces a...
125
Voted
EMSOFT
2008
Springer
15 years 5 months ago
2008
Springer
C's volatile qualifier is intended to provide a reliable link between operations at the source-code level and operations at the memorysystem level. We tested thirteen product...
110
Voted
IFL
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we explore how application-users can, in an interactive way, test properties about the state of GUI applications that can be classified as local state transition sys...