5357 search results - page 759 / 1072 » River Information Services |
155
click to vote
KIVS
2005
Springer
16 years 1 months 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...
211
click to vote
MADNES
2005
Springer
16 years 1 months ago
2005
Springer
An outstanding security problem in mobile agent systems is resource access control, or authorization in its broader sense. In this paper we present an authorization framework for m...
195
click to vote
MKM
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
174
click to vote
OTM
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The storing of data and configuration files related to scientific experiments is vital if those experiments are to remain reproducible, or if the data is to be shared ...
219
click to vote
PCI
2005
Springer
16 years 1 months ago
2005
Springer
Ubiquitous systems are characterized by multi-fold complexity, stemming mainly from the vast number of possible interactions between many heterogeneous objects and services. Device...