5344 search results - page 440 / 1069 » Privacy-Preserving Set Operations |
185
click to vote
ICLP
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
176
click to vote
TLCA
2005
Springer
16 years 9 days ago
2005
Springer
This paper studies continuity of the normal form and the context operators as functions in the infinitary lambda calculus. We consider the Scott topology on the cpo of the finite...
150
click to vote
XPU
2005
Springer
16 years 9 days ago
2005
Springer
Naked Objects and agile software development have been suggested to complement each other. Very few empirical studies to date exist where a product has been developed using the Nak...
207
Voted
FMCO
2004
Springer
16 years 6 days ago
2004
Springer
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
181
click to vote
IMR
2004
Springer
16 years 6 days ago
2004
Springer
We present Mark-It, a marking user interface that reduced the time to decompose a set of CAD models exhibiting a range of decomposition problems by as much as fifty percent. Inst...