1636 search results - page 220 / 328 » Dynamic and Distributed Interaction Protocols |
143
click to vote
ICALP
2003
Springer
15 years 9 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
138
click to vote
CSCW
1998
ACM
15 years 8 months ago
1998
ACM
The Artefact framework supports collaborative applications using standard browsers, a lightweight general-purpose Java applet, and HTML representations of objects and actions. We ...
143
click to vote
ERCIMDL
2008
Springer
15 years 5 months ago
2008
Springer
We present iClusterDL, a self-organising overlay network that supports information retrieval and filtering functionality in a digital library environment. iClusterDL is able to han...
139
click to vote
CIBCB
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...
135
click to vote
IEEEARES
2006
IEEE
15 years 10 months ago
2006
IEEE
The µKlaim calculus is a process algebra designed to study the programming of distributed systems consisting of a number of locations each having their own tuple space and collec...