3101 search results - page 597 / 621 » Composing Adaptive Software |
180
click to vote
KDD
2007
ACM
16 years 2 months ago
2007
ACM
The proliferation of malware has presented a serious threat to the security of computer systems. Traditional signature-based antivirus systems fail to detect polymorphic and new, ...
223
Voted
POPL
2005
ACM
16 years 2 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
228
click to vote
POPL
2004
ACM
16 years 2 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
161
click to vote
RECOMB
2004
Springer
16 years 2 months ago
2004
Springer
In situ staining of a target mRNA at several time points during the development of a D. melanogaster embryo gives one a detailed spatio-temporal view of the expression pattern of ...
210
click to vote
SIGMOD
2006
ACM
16 years 2 months ago
2006
ACM
Testing of database applications is crucial for ensuring high software quality as undetected faults can result in unrecoverable data corruption. The problem of database applicatio...