861 search results - page 113 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
109
click to vote
WWW
2002
ACM
16 years 3 months ago
2002
ACM
XML repositories are now a widespread means for storing and exchanging information on the Web. As these repositories become increasingly used in dynamic applications such as e-com...
126
click to vote
SIGSOFT
2010
ACM
15 years 27 days ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
131
click to vote
MSR
2006
ACM
15 years 9 months ago
2006
ACM
Software birthmarks are unique and native characteristics of every software component. Two components having similar birthmarks indicate that they are similar in functionality, st...
123
click to vote
KDD
2004
ACM
16 years 3 months ago
2004
ACM
Merchants selling products on the Web often ask their customers to review the products that they have purchased and the associated services. As e-commerce is becoming more and mor...
204
click to vote
SIGCSE
2006
ACM
15 years 9 months ago
2006
ACM
Traditionally, the topics of compiler construction and language processing have been taught as an elective course in Computer Science curricula. As such, students may graduate wit...