6960 search results - page 1249 / 1392 » Continuity Analysis of Programs |
118
click to vote
ICNP
2007
IEEE
15 years 9 months ago
2007
IEEE
—It is crucial to detect zero-day polymorphic worms and to generate signatures at the edge network gateways or honeynets so that we can prevent the worms from propagating at thei...
99
Voted
ISCC
2007
IEEE
15 years 9 months ago
2007
IEEE
— Web servers are exposed to extremely changing runtime requirements. Going offline to adjust policies and configuration parameters in order to cope with such requirements is n...
110
click to vote
IWPC
2007
IEEE
15 years 9 months ago
2007
IEEE
The domain-specific ontology of a software system includes a set of features and their relationships. While the problem of locating features in object-oriented programs has been ...
139
click to vote
KBSE
2007
IEEE
15 years 9 months ago
2007
IEEE
The paper presents a semi-automated technique for feature location in source code. The technique is based on combining information from two different sources: an execution trace, ...
119
click to vote
COCO
2007
Springer
15 years 9 months ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...