1150 search results - page 105 / 230 » Note from the Editor |
CONCUR
2000
Springer
14 years 1 months ago
2000
Springer
We describe a general model for embedding object-oriented constructs into calculi of mobile agents. The model results from extending agents with methods and primitives for message ...
DIGITALCITIES
2000
Springer
14 years 1 months ago
2000
Springer
As a platform for community networks, information spaces using the city metaphor are being developed in worldwide. This paper comparesthe trials of digital cities. Four digital cit...
KBSE
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
ISAAC
1999
Springer
14 years 1 months ago
1999
Springer
We study the online problem of holding a number of idle threads on an application server, which we have ready for processing new requests. The problem stems from the fact that bot...
CRYPTO
1997
Springer
14 years 1 months ago
1997
Springer
ded abstract of this paper appears in Advances in Cryptology { Crypto 97 Proceedings, Lecture Notes in Computer Science Vol. 1294, B. Kaliski ed., Springer-Verlag, 1997. This is th...