3552 search results - page 357 / 711 » Proof theory in the abstract |
181
click to vote
ICWE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The World Wide Web is evolving from a platform for information access into a platform for interactive services. The interaction of the services is provided by forms. Some...
175
Voted
IEAAIE
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This paper presents an agent system ASGARD-0, that provides monitoring for the success or failure of Grid jobs in a High Energy Physics application. This application area...
172
click to vote
IFM
2005
Springer
16 years 9 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...
139
click to vote
KIVS
2005
Springer
16 years 8 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...
178
click to vote
LPAR
2005
Springer
16 years 8 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...