9015 search results - page 441 / 1803 » Using Structural Computing to Support Information Integratio... |
169
click to vote
EICS
2010
ACM
15 years 8 months ago
2010
ACM
We propose an approach that takes as input a task model, which includes the user's view of the interactive system, and automatically discovers a set of categorized and ranked...
169
click to vote
ITP
2010
15 years 10 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
168
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we consider the problem of securely outsourcing computation on private data. We present a protocol for securely distributing the computation of the data structures u...
172
click to vote
CHI
2003
ACM
15 years 11 months ago
2003
ACM
iCAP is a system that assists users in prototyping contextaware applications. iCAP supports sketching for creating input and output devices, and using these devices to design inte...
155
Voted
SIGMOD
1999
ACM
15 years 10 months ago
1999
ACM
Query processing in data integration occurs over network-bound, autonomous data sources. This requires extensions to traditional optimization and execution techniques for three re...