6960 search results - page 1320 / 1392 » Continuity Analysis of Programs |
UM
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. The World Wide Web has provided users with the opportunity to access from any computer the largest set of information ever existing. Researchers have analyzed how such us...
113
click to vote
AOSD
2011
ACM
14 years 4 months ago
2011
ACM
The domain of operating systems has often been mentioned as an “ideal candidate” for the application of AOP; fundamental policies we find in these systems, such as synchroniz...
IFIP
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. This paper extends existing models for collaborative systems. We investigate how much damage can be done by insiders alone, without collusion with an outside adversary. I...
PROMISE
2010
14 years 4 months ago
2010
Background: Automated diagnosis of software defects can drastically increase debugging efficiency, improving reliability and time-to-market. Current, low-cost, automatic fault dia...
112
click to vote
ICST
2011
IEEE
14 years 1 months ago
2011
IEEE
—Static analysis tools have been widely used to detect potential defects without executing programs. It helps programmers raise the awareness about subtle correctness issues in t...