62 search results - page 4 / 13 » Converting One Type-Based Abstract Domain to Another |
109
Voted
HPCN
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. A metacomputing environment is a collection of geographically distributed resources (people, computers, devices, databases) connected by one or more high-speed networks, ...
134
Voted
COLLABORATION
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent ...
94
Voted
CICLING
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Transliterating words and names from one language to another is a frequent and highly productive phenomenon. For example, English word cache is transliterated in Japanese...
118
Voted
CAIP
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. In this article, we deal with fast algorithms for the quaternionic Fourier transform (QFT). Our aim is to give a guideline for choosing algorithms in practical cases. Hen...
144
Voted
EUROCRYPT
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. First, we introduce the notion of divertibility as a protocol property as opposed to the existing notion as a language property (see Okamoto, Ohta [OO90]). We give a defi...