4298 search results - page 212 / 860 » Computing at the top of the world |
125
click to vote
CRYPTO
2006
Springer
15 years 5 months ago
2006
Springer
In the setting of multiparty computation, a set of parties wish to jointly compute a function of their inputs, while preserving security in the case that some subset of them are co...
132
click to vote
ENTCS
2006
15 years 2 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
110
click to vote
SOSP
2005
ACM
15 years 11 months ago
2005
ACM
Rapid improvements in network bandwidth, cost, and ubiquity combined with the security hazards and high total cost of ownership of personal computers have created a growing market...
104
click to vote
AINA
2005
IEEE
15 years 7 months ago
2005
IEEE
Grid middleware is enabling resource sharing between computing centres across the world and sites with existing clusters are eager to connect to the Grid. However, the hardware re...
123
click to vote
LICS
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper provides a unifying axiomatic account of the interpretation of recursive types that incorporates both domain-theoretic and realizability models as concrete instances. O...