4397 search results - page 577 / 880 » Relational Algebra Operations |
163
click to vote
AGENTS
2001
Springer
15 years 8 months ago
2001
Springer
Our goal in this paper is to introduce and motivatea methodology, called Tropos, for building agent oriented software systems. Tropos is based on two key ideas. First, the notion ...
137
click to vote
BTW
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. We propose a scaleable multi-user benchmark called XMach-1 (XML Data Management benchmark) for evaluating the performance of XML data management systems. It is based on a...
137
click to vote
CRYPTO
2001
Springer
15 years 8 months ago
2001
Springer
Recently the braid groups were introduced as a new source for cryptography. The group operations are performed efficiently and the features are quite different from those of other...
145
click to vote
CSL
2001
Springer
15 years 8 months ago
2001
Springer
In this paper, we introduce decidable multimodal logics to describe and reason about navigation across object structures. The starting point of these navigation logics is the model...
150
click to vote
EUROPAR
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. This paper describes a software architecture that allows image processing researchers to develop parallel applications in a transparent manner. The architecture’s main ...