3228 search results - page 395 / 646 » Computationally Sound Proofs |
103
Voted
KIVS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract This paper presents a token-based accounting scheme for decentralized autonomous systems, such as peer-to-peer systems. The scheme uses tokens as proof of resource or serv...
135
Voted
RELMICS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. As part of a larger project, we have built a declarative assembly language that enables us to specify multiple code paths to compute particular quantities, giving the ins...
131
Voted
SAC
2004
ACM
15 years 9 months ago
2004
ACM
Since fingerprint data are no secrets but of public nature, the verification data transmitted to a smartcard for oncardmatching need protection by appropriate means in order to ...
100
Voted
BIRTHDAY
2004
Springer
15 years 9 months ago
2004
Springer
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
118
Voted
GCC
2004
Springer
15 years 9 months ago
2004
Springer
Defining the ways for components around the world to collaborate with each other to execute applications over the internet is one of the biggest challenges for computer scientists...