1100 search results - page 184 / 220 » An Approach to Test Aspect-oriented Programs |
103
click to vote
PPOPP
2012
ACM
13 years 7 months ago
2012
ACM
The virtues of deterministic parallelism have been argued for decades and many forms of deterministic parallelism have been described and analyzed. Here we are concerned with one ...
CCS
2007
ACM
15 years 6 months ago
2007
ACM
In recent years, web applications have become tremendously popular, and nowadays they are routinely used in security-critical environments, such as medical, financial, and milita...
117
click to vote
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
SIGSOFT
2007
ACM
16 years 16 days ago
2007
ACM
Studies show that programs contain much similar code, commonly known as clones. One of the main reasons for introducing clones is programmers' tendency to copy and paste code...
106
click to vote
WWW
2004
ACM
16 years 14 days ago
2004
ACM
Security remains a major roadblock to universal acceptance of the Web for many kinds of transactions, especially since the recent sharp increase in remotely exploitable vulnerabil...