840 search results - page 151 / 168 » Open multi-methods for c |
CCA
2005
Springer
15 years 5 months ago
2005
Springer
kind Reals in Abstract Stone Duality Andrej Bauer and Paul Taylor 3 June 2009 Stone Duality (ASD) is a direct axiomatisation of general topology, in contrast to the traditional an...
126
click to vote
CCS
2005
ACM
15 years 5 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
EUROPAR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Blue Gene/L uses a large number of low power processors, together with multiple integrated interconnection networks, to build a supercomputer with low cost, space and pow...
MADNES
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper contains the summary of a panel on authentication in constrained environments held during the Secure MADNES’05 Workshop. These were transcribed from hand-wri...
119
click to vote
VLDB
2005
ACM
15 years 5 months ago
2005
ACM
In recent years, the wide availability of personal data has made the problem of privacy preserving data mining an important one. A number of methods have recently been proposed fo...