748 search results - page 40 / 150 » concurrency 2008 |
104
Voted
EUROCRYPT
2008
Springer
15 years 2 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...
121
click to vote
CONCURRENCY
2008
15 years 8 days 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...
93
Voted
ISPASS
2008
IEEE
15 years 7 months ago
2008
IEEE
75
Voted
FM
2008
Springer
15 years 2 months ago
2008
Springer
Modal
104
Voted
WOTUG
2008
15 years 2 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...