Sciweavers

684 search results - page 87 / 137
» Reverse Engineering CAPTCHAs
Sort
View
OOPSLA
2007
Springer
15 years 3 months ago
Refactoring support for the C++ development tooling
This article reveals our work on refactoring plug-ins for Eclipse’s C++ Development Tooling (CDT). With CDT a reliable open source IDE exists for C/C++ developers. Unfortunately...
Emanuel Graf, Guido Zgraggen, Peter Sommerlad
CAISE
2005
Springer
15 years 3 months ago
Ontology Management: a Case Study and Research Plans
We foresee that ontologies for interoperability are likely organized by a loosely linked network. In the case of digital libraries, the network is realized by a federation of ontol...
Jeroen Hoppenbrouwers, Manfred A. Jeusfeld, Hans W...
UIST
2004
ACM
15 years 3 months ago
The radial scroll tool: scrolling support for stylus- or touch-based document navigation
We present radial scroll, an interface widget to support scrolling particularly on either small or large scale touch displays. Instead of dragging a elevator in a scroll bar, or u...
Gary M. Smith, Monica M. C. Schraefel
ISW
2004
Springer
15 years 3 months ago
The Obfuscation Executive
Abstract. Code obfuscations are semantics-preserving code transformations used to protect a program from reverse engineering. There is generally no expectation of complete, long-te...
Kelly Heffner, Christian S. Collberg
FATES
2003
Springer
15 years 3 months ago
Using a Software Testing Technique to Improve Theorem Proving
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
Reiner Hähnle, Angela Wallenburg