12459 search results - page 196 / 2492 » cans 2006 |
115
Voted
AI
2006
Springer
15 years 8 months ago
2006
Springer
In the context of probabilistic verification, we provide a new notion of trace-equivalence divergence between pairs of Labelled Markov processes. This divergence corresponds to the...
117
click to vote
ARCS
2006
Springer
15 years 8 months ago
2006
Springer
The performance of the barrier operation can be crucial for many parallel codes. Especially distributed shared memory systems have to synchronize frequently to ensure the proper o...
143
click to vote
ASIACRYPT
2006
Springer
15 years 8 months ago
2006
Springer
The group signature scheme [1], ACJT for short, is popular. In this paper we show that it is not secure. It does not satisfy exculpability. The group manager can sign on behalf of ...
108
Voted
AUSAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We investigate constraint domains in which answers to constraint abduction problems can be represented compactly by a most general answer. We demonstrate several classes ...
111
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We propose to use Grothendieck institutions based on 2categorical diagrams as a basis for heterogeneous specification. We prove a number of results about colimits and (so...