3052 search results - page 311 / 611 » Engineers Don't Search |
98
Voted
AMAST
2004
Springer
15 years 6 months ago
2004
Springer
JavaFAN uses a Maude rewriting logic specification of the JVM semantics as the basis of a software analysis tool with competitive performance. It supports formal analysis of concu...
77
Voted
COMPSAC
2003
IEEE
15 years 6 months ago
2003
IEEE
One of the important tasks during software testing is the generation of test cases. Various approaches have been proposed to automate this task. The approaches available, however,...
131
Voted
PPPJ
2003
ACM
15 years 6 months ago
2003
ACM
A Java implementation of a key collision attack on DES suggested by Eli Biham, [1], is discussed. Storage space minimization and fast searching techniques to speed up the attack a...
94
Voted
UIST
2000
ACM
15 years 5 months ago
2000
ACM
Text entry user interfaces have been a bottleneck of nontraditional computing devices. One of the promising methods is the virtual keyboard on touch screens. Various layouts have ...
ESEC
1999
Springer
15 years 5 months ago
1999
Springer
This paper is about a paradigm shift from the current practice of manually searching for and adapting components and their manual assembly to Generative Programming, which is the a...