3052 search results - page 311 / 611 » Engineers Don't Search |
160
click to vote
AMAST
2004
Springer
16 years 6 days 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...
137
click to vote
COMPSAC
2003
IEEE
16 years 2 days 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,...
224
click to vote
PPPJ
2003
ACM
16 years 1 days 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...
160
click to vote
UIST
2000
ACM
15 years 11 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 ...
155
click to vote
ESEC
1999
Springer
15 years 11 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...