2468 search results - page 213 / 494 » Aggregation operators 2003 |
ATAL
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent...
CRYPTO
2003
Springer
14 years 3 months ago
2003
Springer
Abstract. Cryptographic systems often involve running multiple concurrent instances of some protocol, where the instances have some amount of joint state and randomness. (Examples ...
DBPL
2003
Springer
14 years 3 months ago
2003
Springer
We consider the incremental validation of updates on XML documents. When a valid XML document (i.e., one satisfying some constraints) is updated, it has to be verified that the n...
GRID
2003
Springer
14 years 3 months ago
2003
Springer
Arguably, the main goal of Grid Computing is to facilitate the creation of Virtual Organizations (VOs); however, to date, not enough attention has been placed on the policies and ...
IBPRIA
2003
Springer
14 years 3 months ago
2003
Springer
Nowadays, the surveillance and inspection of underwater installations, such as power and telecommunication cables and pipelines, is carried out by trained operators who, from the s...