13383 search results - page 388 / 2677 » Abstractions from proofs |
140
click to vote
KIVS
2005
Springer
16 years 10 days 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...
179
click to vote
LPAR
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
179
click to vote
RELMICS
2005
Springer
16 years 10 days 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...
197
Voted
SEKE
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. Emergent behaviour (EB) is a common phenomenon in multi-agent systems (MAS) where autonomous agents perform certain actions with only limited access to local information ...
166
click to vote
TABLEAUX
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The clause linking technique of Lee and Plaisted proves the unsatisfiability of a set of first-order clauses by generating a sufficiently large set of instances of thes...