10792 search results - page 2010 / 2159 » An Evaluation of Non-Equijoin Algorithms |
107
click to vote
ICSE
2008
IEEE-ACM
16 years 19 hour ago
2008
IEEE-ACM
Web applications support many of our daily activities, but they often have security problems, and their accessibility makes them easy to exploit. In cross-site scripting (XSS), an...
SIGSOFT
2008
ACM
15 years 12 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
SIGSOFT
2008
ACM
15 years 12 months ago
2008
ACM
Many testing and analysis techniques have been developed for inhouse use. Although they are effective at discovering defects before a program is deployed, these techniques are oft...
117
click to vote
SIGSOFT
2007
ACM
15 years 12 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
103
click to vote
SIGSOFT
2006
ACM
15 years 12 months ago
2006
ACM
Fixing runtime bugs in long running programs using trace based analyses such as dynamic slicing was believed to be prohibitively expensive. In this paper, we present a novel execu...