3053 search results - page 499 / 611 » A Logic of Abstract Argumentation |
165
click to vote
FC
2000
Springer
15 years 9 months ago
2000
Springer
Every novel cooperative arrangement of mutually suspicious parties interacting electronically -- every smart contract -- effectively requires a new cryptographic protocol. However,...
149
click to vote
PPDP
2000
Springer
15 years 9 months ago
2000
Springer
an abstract domain developed by D. Jacobs and A. Langen for the analysis of logic programs, derives useful aliasing information. It is well-known that a commonly used core of tech...
162
click to vote
CAISE
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
116
Voted
CSL
2008
Springer
15 years 7 months ago
2008
Springer
not use pointer arithmetic. Such "pure pointer algorithms" thus are a useful abstraction for studying the nature of logspace-computation. In this paper we introduce a for...
207
click to vote
DSOM
2008
Springer
15 years 7 months ago
2008
Springer
Abstract overlay networks have been considered enablers of efficient management for decentralized, large scale service deployments. A Content Delivery Network (CDN) is an example o...