4075 search results - page 683 / 815 » Modeling Distributed Algorithm Using B |
173
click to vote
WPES
2003
ACM
15 years 11 months ago
2003
ACM
We present a model and protocol for anonymous credentials. Rather than using deterrents to ensure non-transferability, our model uses secure hardware with biometric authentication...
257
click to vote
GIS
2008
ACM
16 years 7 months ago
2008
ACM
We introduce a parallel approximation of an Over-determined Laplacian Partial Differential Equation solver (ODETLAP) applied to the compression and restoration of terrain data use...
172
click to vote
ICS
2010
Tsinghua U.
15 years 11 months ago
2010
Tsinghua U.
The emergence of multicore processors has increased the need for simple parallel programming models usable by nonexperts. The ability to specify subparts of a bigger data structur...
167
click to vote
ICDCS
2010
IEEE
15 years 8 months ago
2010
IEEE
Continuously monitoring the link performance is important to network diagnosis. Recently, active probes sent between end systems are widely used to monitor the link performance. I...
162
click to vote
GPEM
2002
15 years 6 months ago
2002
A number of algorithms have been proposed aimed at tackling the problem of learning "Gene Linkage" within the context of genetic optimisation, that is to say, the problem...