5451 search results - page 189 / 1091 » Typed Operational Semantics |
112
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
The goal of data fusion is to combine several representations of one real world object into a single, consistent representation, e.g., in data integration. A very popular operator...
171
click to vote
CONCUR
2005
Springer
15 years 9 months ago
2005
Springer
d Abstract) Vijay Saraswat1 and Radha Jagadeesan2 1 IBM T.J. Watson Research Lab 2 School of CTI, DePaul University Abstract. We present the concurrency and distribution primitives...
178
click to vote
CANS
2006
Springer
15 years 7 months ago
2006
Springer
Software watermarking is a new research area that aims at providing copyright protection for commercial software. It minimizes software piracy by hiding copyright signatures inside...
135
click to vote
STOC
2010
ACM
15 years 8 months ago
2010
ACM
We propose a new framework for discussing computational complexity of problems involving uncountably many objects, such as real numbers, sets and functions, that can be represente...
120
Voted
USENIX
2003
15 years 5 months ago
2003
We present an in-kernel disk prefetcher which uses speculative execution to determine what data an application is likely to require in the near future. By placing our design withi...