14235 search results - page 2784 / 2847 » Is computer science science |
120
Voted
MM
2003
ACM
15 years 9 months ago
2003
ACM
Representation of relative spatial relations between objects is required in many multimedia database applications. Quantitative representation of spatial relations taking into acc...
132
Voted
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
178
Voted
PLDI
2003
ACM
15 years 9 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
112
Voted
SIGECOM
2003
ACM
15 years 8 months ago
2003
ACM
We develop a framework for trading in compound securities: financial instruments that pay off contingent on the outcomes of arbitrary statements in propositional logic. Buying o...
172
click to vote
TLDI
2003
ACM
15 years 8 months ago
2003
ACM
Standard ML employs an opaque (or generative) semantics of datatypes, in which every datatype declaration produces a new type that is different from any other type, including othe...