645 search results - page 106 / 129 » Pure patterns type systems |
137
click to vote
TJS
2002
15 years 1 months ago
2002
Abstract-The current trend in constructing high-performance computing systems is to connect a large number of machines via a fast interconnect or a large-scale network such as the ...
208
click to vote
ICDE
2008
IEEE
16 years 3 months ago
2008
IEEE
Abstract-- Privacy preservation in data mining demands protecting both input and output privacy. The former refers to sanitizing the raw data itself before performing mining. The l...
208
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
133
click to vote
CHI
2007
ACM
16 years 2 months ago
2007
ACM
This paper describes mechanisms for asynchronous collaboration in the context of information visualization, recasting visualizations as not just analytic tools, but social spaces....
239
click to vote
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
This paper proposes a generic framework for monitoring continuous spatial queries over moving objects. The framework distinguishes itself from existing work by being the first to ...