7992 search results - page 163 / 1599 » Communication Abstractions for Distributed Systems |
FMICS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
FTDCS
1997
IEEE
14 years 2 months ago
1997
IEEE
Though causal order of message delivery simplifies the design and development of distributed applications, the overhead of enforcing it is not negligible. Causal order algorithm w...
IJCAT
2007
13 years 10 months ago
2007
: This paper presents a 3D-distributed virtual environment, which allows for the creation of applications to enable multiple users to collaboratively interact in, and communicate a...
ICRA
2002
IEEE
14 years 3 months ago
2002
IEEE
This paper introduces a modular modeling approach for distributed production systems, considering production and maintenance processes synchronization. Thus, production job shop, p...
MOBICOM
2010
ACM
13 years 10 months ago
2010
ACM
Stix is a platform managing emerging large-scale broadband wireless access (BWA) networks. It has been developed to make it easy to manage such networks for community deployments ...