7139 search results - page 878 / 1428 » Language Engineering in Practice |
197
click to vote
CCECE
2006
IEEE
16 years 1 months ago
2006
IEEE
Software inspection is a method to detect errors in software artefacts early in the development cycle. At the end of the inspection process the inspectors need to make a decision ...
180
click to vote
SCAM
2006
IEEE
16 years 1 months ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
188
click to vote
SEFM
2006
IEEE
16 years 1 months ago
2006
IEEE
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
168
click to vote
SEFM
2006
IEEE
16 years 1 months ago
2006
IEEE
tic analysis tools based on abstraction are sound but not complete. Several practical static analysis tools are heuristic in nature —they are neither sound nor complete, but have...
186
click to vote
IUI
2006
ACM
16 years 1 months ago
2006
ACM
1 Information seeking is an important but often difficult task especially when involving large and complex data sets. We hypothesize that a context-sensitive interaction paradigm c...