4325 search results - page 230 / 865 » Incremental computation with names |
149
click to vote
AINA
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper points out the privacy issue in the OCSP (Online Certificate Status Protocol), namely, the OCSP responder learns confidential information – who sends a message to w...
172
click to vote
IMSCCS
2006
IEEE
16 years 19 days ago
2006
IEEE
Slowdown is used to measure the fairness degree of a scheduling algorithm in existing work. However, the fairness degree should be considered within a scheduling algorithm; rather...
148
click to vote
CCA
2005
Springer
16 years 4 days ago
2005
Springer
In the Type-2 Theory of Effectivity, one considers representations of topological spaces in which infinite words are used as “names” for the elements they represent. Given s...
156
click to vote
GCC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. A flexible intermediate library named Stampi for MPI-2 support on a heterogeneous computing environment has been implemented on an SCore cluster system. With the help of...
176
click to vote
MFCS
2000
Springer
15 years 10 months ago
2000
Springer
We introduce explicit fusions of names. To `fuse' two names is to declare that they may be used interchangeably. An explicit fusion is one that can exist in parallel with som...