11345 search results - page 242 / 2269 » Foundations of Computer Science |
208
click to vote
TISSEC
2010
15 years 1 months ago
2010
Several credential systems have been proposed in which users can authenticate to service providers anonymously. Since anonymity can give users the license to misbehave, some varia...
158
click to vote
ICALP
2004
Springer
15 years 12 months ago
2004
Springer
Monadic least fixed point logic MLFP is a natural logic whose expressiveness lies between that of first-order logic FO and monadic second-order logic MSO. In this paper we take ...
146
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
ed from the Physical Sciences Inc. Library. Abstract available at http://www.psicorp.com/publications/sr-1278.shtml
178
click to vote
ICCS
2004
Springer
15 years 12 months ago
2004
Springer
: Computational and data Grids couple geographically distributed resources such as high performance computers, workstations, clusters, and scientific instruments. Grid Workflows co...
151
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes how the London e-Science Centre cluster MARS, a production 400+ Opteron CPU cluster, was integrated into the production Large Hadron Collider Compute Grid. It...