7103 search results - page 326 / 1421 » Components and Generative Programming |
226
click to vote
ICLP
2003
Springer
15 years 12 months ago
2003
Springer
In recent research on nonmonotonic logic programming, repeatedly strong equivalence of logic programs P and Q has been considered, which holds if the programs P ∪ R and Q ∪ R h...
176
click to vote
CSUR
2004
15 years 6 months ago
2004
Many developments have taken place within dataflow programming languages in the past decade. In particular, there has been a great deal of activity and advancement in the field of ...
177
Voted
SIGSOFT
2009
ACM
16 years 1 months ago
2009
ACM
An objective of unit testing is to achieve high structural coverage of the code under test. Achieving high structural coverage of object-oriented code requires desirable method-ca...
172
click to vote
SP
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper we explore the problem of creating vulnerability signatures. A vulnerability signature matches all exploits of a given vulnerability, even polymorphic or metamorphic...
188
click to vote
MICRO
2003
IEEE
15 years 12 months ago
2003
IEEE
A dynamic optimizer is a runtime software system that groups a program’s instruction sequences into traces, optimizes those traces, stores the optimized traces in a softwarebase...