2607 search results - page 390 / 522 » Complete Functional Synthesis |
128
click to vote
TCC
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Protocols for deniable authentication achieve seemingly paradoxical guarantees: upon completion of the protocol the receiver is convinced that the sender authenticated th...
102
click to vote
CHI
2002
ACM
16 years 2 months ago
2002
ACM
Many applications require users to specify preferences. We support users in this task by letting them define preferences relative to their personal history or that of other users....
239
Voted
POPL
2006
ACM
16 years 2 months ago
2006
ACM
In PLT Scheme, programs consist of modules with contracts. The latter describe the inputs and outputs of functions and objects via predicates. A run-time system enforces these pre...
247
Voted
POPL
2002
ACM
16 years 2 months ago
2002
ACM
Some compilation systems, such as offline partial evaluators and selective dynamic compilation systems, support staged optimizations. A staged optimization is one where a logicall...
182
Voted
SIGMOD
2005
ACM
16 years 2 months ago
2005
ACM
One of the most common operations in analytic query processing is the application of an aggregate function to the result of a relational join. We describe an algorithm for computi...