748 search results - page 40 / 150 » concurrency 2008 |
EUROCRYPT
2008
Springer
14 years 11 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...
CONCURRENCY
2008
14 years 9 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...
ISPASS
2008
IEEE
15 years 4 months ago
2008
IEEE
FM
2008
Springer
14 years 11 months ago
2008
Springer
Modal
WOTUG
2008
14 years 11 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...