2212 search results - page 124 / 443 » Coordinating Open Distributed Systems |
110
Voted
ACMSE
2004
ACM
15 years 8 months ago
2004
ACM
This paper presents a distributed multi-robot system designed to solve a team-based search and destroy task. The project was divided into two phases. The initial phase was used to...
125
Voted
WOODPECKER
2001
15 years 3 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
121
Voted
ACSD
2005
IEEE
15 years 8 months ago
2005
IEEE
We consider the distributed implementability problem as: Given a labeled transition system TS together with a distribution ∆ of its actions over a set of processes, does there ex...
134
Voted
WAIM
2004
Springer
15 years 7 months ago
2004
Springer
In distributed computing systems, processes in different hosts take checkpoints to survive failures. For mobile computing systems, due to certain new characteristics conventional d...
134
Voted
COORDINATION
2006
Springer
15 years 6 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...