779 search results - page 6 / 156 » An Asynchronous Distributed Component Model and Its Semantic... |
83
Voted
TPPP
1994
15 years 3 months ago
1994
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
PODC
2003
ACM
15 years 4 months ago
2003
ACM
Consider a dynamic, large-scale communication infrastructure (e.g., the Internet) where nodes (e.g., in a peer to peer system) can communicate only with nodes whose id (e.g., IP a...
119
click to vote
ALGOSENSORS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper presents a simple distributed algorithm to determine the bridges, articulation points, and 2-connected components in asynchronous networks with an at least onc...
ENTCS
2008
14 years 11 months ago
2008
One of the challenges in designing distributed, embedded systems is the paucity of formal, executable specification notations that provide support for both real-time and asynchron...
PDP
2009
IEEE
15 years 6 months ago
2009
IEEE
This paper investigate a mutual exclusion algorithm on distributed systems. We introduce a new algorithm based on the Naimi-Trehel algorithm, taking advantage of the distributed a...