603 search results - page 15 / 121 » concurrency 2010 |
115
Voted
ASIACRYPT
2010
Springer
14 years 10 months ago
2010
Springer
We design cryptographic protocols that recognize best case (optimistic) situations and exploit them. As a case study, we present a new concurrent zeroknowledge protocol that is exp...
70
Voted
ECOOP
2010
Springer
15 years 5 months ago
2010
Springer
96
Voted
CONCURRENCY
2010
15 years 27 days ago
2010
Abstract. We introduce a distributed high performance hybrid Information Service Architecture, which forms a metadata replica hosting system to manage both highlydynamic, small-sca...
106
Voted
ENTCS
2006
15 years 24 days ago
2006
We build a realizability model for linear logic using a name-passing process calculus. The construction is based on testing semantics for processes, drawing ideas from spatial and...
115
Voted
ENTCS
2007
15 years 22 days ago
2007
In this paper we present our rst approach to model and verify biological systems using ntcc, a concurrent constraint process calculus. We argue that the partial information const...