3333 search results - page 291 / 667 » Abstract Proof Search |
188
click to vote
IFM
2005
Springer
16 years 24 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...
149
click to vote
KIVS
2005
Springer
16 years 23 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...
198
click to vote
LPAR
2005
Springer
16 years 23 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...
196
click to vote
RELMICS
2005
Springer
16 years 23 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...
215
click to vote
SEKE
2005
Springer
16 years 23 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 ...