9166 search results - page 1462 / 1834 » A framework for comparing models of computation |
167
click to vote
PKC
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Yao’s classical millionaires’ problem is about securely determining whether x > y, given two input values x, y, which are held as private inputs by two parties, re...
188
click to vote
TLCA
2007
Springer
16 years 27 days ago
2007
Springer
The lambda-Pi-calculus allows to express proofs of minimal predicate logic. It can be extended, in a very simple way, by adding computation rules. This leads to the lambda-Pi-calcu...
223
click to vote
PPOPP
2006
ACM
16 years 22 days ago
2006
ACM
Applications need to become more concurrent to take advantage of the increased computational power provided by chip level multiprocessing. Programmers have traditionally managed t...
178
click to vote
CCGRID
2005
IEEE
16 years 12 days ago
2005
IEEE
ABSTRACT. Objectives. This paper addresses Grid-based integration and access of distributed data from infectious disease patient databases, literature on in-vitro and in-vivo pharm...
181
click to vote
ICWE
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. This paper describes the new e-learning tool CHESt that allows students to search in a knowledge base for short (teaching) multimedia clips by using a semantic search eng...