79 search results - page 7 / 16 » birthday 2005 |
CRYPTO
2007
Springer
14 years 4 months ago
2007
Springer
A public random function is a random function that is accessible by all parties, including the adversary. For example, a (public) random oracle is a public random function {0, 1}â...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Service oriented architectures facilitate loosely coupled collaborations, which are established in a decentralized way. One challenge for such collaborations is to guaran...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The paper reminds of the vision behind Intellectics, the discipline of Arti cial Intelligence (AI) and Cognitive Science, and argues that the time has come for attacking ...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
We propose two transformations on term rewrite systems (TRSs) based on reducing right hand sides: one related to the transformation order and a variant of dummy elimination. Under ...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
This paper shows that weak bisimulation congruence can be characterised as rooted weak bisimulation equivalence, even without making assumptions on the cardinality of the sets of s...