7992 search results - page 1269 / 1599 » Communication Abstractions for Distributed Systems |
188
Voted
ESAW
2000
Springer
15 years 10 months ago
2000
Springer
We present a first approach that combines the mobile agent and the compositional paradigms into a new agent-based compositional model. The aim of this work is to explore the capabi...
158
click to vote
FSTTCS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
170
click to vote
DEXA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Industrial, scientific, and commercial applications use information systems to trace the execution of a business process. Relevant events are registered in massive logs a...
229
click to vote
AP2PC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Agent platforms designed for Internet-scale, open networks need scalable and secure location services for agents and services. The location service based on the Fonkey pu...
180
click to vote
NETWORKING
2007
15 years 8 months ago
2007
Abstract. In this paper we evaluate the data transmission performance of a generalized multiple-tree-based overlay architecture for peer-to-peer live streaming that employs multipa...