661 search results - page 101 / 133 » What Can We Expect from Program Verification |
AIPS
2007
13 years 10 months ago
2007
In this paper, we propose an extended local search framework to solve combinatorial optimization problems with data uncertainty. Our approach represents a major departure from sce...
CHI
1999
ACM
13 years 12 months ago
1999
ACM
This paper describes an architecture for supporting interface attuchments- small interactive programs which are designed to augment the functionality of other applications. This a...
DIMVA
2008
13 years 9 months ago
2008
Software installation provides an attractive entry vector for malware: since installations are performed with administrator privileges, malware can easily get the enhanced level of...
ECOOP
1999
Springer
13 years 11 months ago
1999
Springer
Many Java programmers believe they do not have to worry about memory management because of automatic garbage collection. In fact, many Java programs run out of memory unexpectedly ...
ENTCS
2002
13 years 7 months ago
2002
Abstract. We present an extension to linear-time temporal logic (LTL) that combines the temporal specification with the collection of statistical data. By collecting statistics ove...