748 search results - page 40 / 150 » concurrency 2008 |
150
click to vote
EUROCRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Precise zero knowledge introduced by Micali and Pass (STOC'06) guarantees that the view of any verifier V can be simulated in time closely related to the actual (as opposed t...
181
click to vote
CONCURRENCY
2008
15 years 5 months ago
2008
ce that allows navigation from an abstract model of the experiment to instance data collected during a specific experiment run. We outline modest extensions to a commercial workflo...
164
click to vote
WOTUG
2008
15 years 7 months ago
2008
Writing concurrent programs in languages that lack explicit support for concurrency can often be awkward and difficult. Haskell's monads provide a way to explicitly specify se...