4716 search results - page 867 / 944 » Iterative-free program analysis |
128
Voted
CLOUDCOM
2010
Springer
15 years 18 days ago
2010
Springer
Abstract--The cloud computing model aims to make largescale data-intensive computing affordable even for users with limited financial resources, that cannot invest into expensive i...
115
Voted
SIGSOFT
2010
ACM
15 years 14 days ago
2010
ACM
During maintenance, software is modified and evolved to enhance its functionality, eliminate faults, and adapt it to changed or new platforms. In this demo, we present BERT, a too...
132
Voted
UM
2010
Springer
15 years 13 days 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...
163
click to vote
AOSD
2011
ACM
14 years 9 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...
105
Voted
IFIP
2010
Springer
14 years 9 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...