3333 search results - page 291 / 667 » Abstract Proof Search |
165
click to vote
IFM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We present a fixpoint semantics of event systems. The semantics is presented in a general framework without concerns of fairness. Soundness and completeness of rules for...
136
click to vote
KIVS
2005
Springer
16 years 5 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...
172
Voted
LPAR
2005
Springer
16 years 4 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...
173
click to vote
RELMICS
2005
Springer
16 years 4 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...
187
click to vote
SEKE
2005
Springer
16 years 4 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 ...