1724 search results - page 185 / 345 » Abstract Interpreters for Free |
207
click to vote
INFSOF
2010
15 years 3 months ago
2010
Buffer overflow detection using static analysis can provide a powerful tool for software ers to find difficult bugs in C programs. Sound static analysis based on abstract interpre...
164
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
We present an approach in which the semantics of an XML language is defined by means of a transformation from an XML document model (an XML schema) to an application specific mode...
162
click to vote
KDD
2003
ACM
16 years 7 months ago
2003
ACM
Existing patient records are a valuable resource for automated outcomes analysis and knowledge discovery. However, key clinical data in these records is typically recorded in unst...
180
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
Subliminal Wiretapping is a subtly interactive artwork that utilizes random number generation modified through mindmatter effects to supply a continuous stream of words. Frequent,...
154
click to vote
OSS
2007
Springer
16 years 20 days ago
2007
Springer
Free/Open Source Software (F/OSS) repositories contain valuable data and their usefulness in studying software development and community activities continues to attract a lot of re...