Sciweavers

3330 search results - page 368 / 666
» software 2010
Sort
View
145
Voted
ISSRE
2010
IEEE
15 years 3 months ago
Calibrating Probabilistic GUI Testing Models Based on Experiments and Survival Analysis
—Models abstract reality. Although abstract, such models can capture the essence of real world phenomena as long as they are sufficiently accurate. The development of new techni...
Cristiano Bertolini, Alexandre Mota, Eduardo Aranh...
FSTTCS
2010
Springer
15 years 2 months ago
Parityizing Rabin and Streett
The parity acceptance condition for -regular languages is a special case of the Rabin and Streett acceptance conditions. While the parity acceptance condition is as expressive as ...
Udi Boker, Orna Kupferman, Avital Steinitz
WCRE
2010
IEEE
15 years 2 months ago
Reverse Engineering Self-Modifying Code: Unpacker Extraction
—An important application of binary-level reverse engineering is in reconstructing the internal logic of computer malware. Most malware code is distributed in encrypted (or “pa...
Saumya K. Debray, Jay Patel
CROSSROADS
2010
14 years 11 months ago
Massive multiplayer human computation for fun, money, and survival
Crowdsourcing is an effective tool to solve hard tasks. By bringing 100,000s of people to work on simple tasks that only humans can do, we can go far beyond traditional models of ...
Lukas Biewald
FSTTCS
2010
Springer
15 years 2 months ago
Expressiveness of streaming string transducers
Streaming string transducers [1] define (partial) functions from input strings to output strings. A streaming string transducer makes a single pass through the input string and us...
Rajeev Alur, Pavol Cerný