Sciweavers

6014 search results - page 867 / 1203
» Structural Testing with Use Cases
Sort
View
DIMVA
2007
15 years 6 months ago
A Study of Malcode-Bearing Documents
By exploiting the object-oriented dynamic composability of modern document applications and formats, malcode hidden in otherwise inconspicuous documents can reach third-party appli...
Wei-Jen Li, Salvatore J. Stolfo, Angelos Stavrou, ...
FORTE
2004
15 years 6 months ago
Witness and Counterexample Automata for ACTL
Witnesses and counterexamples produced by model checkers provide a very useful source of diagnostic information. They are usually returned in the form of a single computation path ...
Robert Meolic, Alessandro Fantechi, Stefania Gnesi
131
Voted
EMNLP
2006
15 years 6 months ago
Short Text Authorship Attribution via Sequence Kernels, Markov Chains and Author Unmasking: An Investigation
We present an investigation of recently proposed character and word sequence kernels for the task of authorship attribution based on relatively short texts. Performance is compare...
Conrad Sanderson, Simon Günter
GRAPHICSINTERFACE
2004
15 years 6 months ago
Interacting with Big Interfaces on Small Screens: a Comparison of Fisheye, Zoom, and Panning Techniques
Mobile devices with small screens are becoming more common, and will soon be powerful enough to run desktop software. However, the large interfaces of desktop applications do not ...
Carl Gutwin, Chris Fedak
153
Voted
USENIX
2001
15 years 6 months ago
User-Level Checkpointing for LinuxThreads Programs
Multiple threads running in a single, shared address space is a simple model for writing parallel programs for symmetric multiprocessor (SMP) machines and for overlapping I/O and ...
William R. Dieter, James E. Lumpp Jr.