246 search results - page 30 / 50 » A Proof System for Asynchronously Communicating Deterministi... |
87
Voted
IFIP
2004
Springer
15 years 5 months ago
2004
Springer
We introduce a new synchronization problem in mobile ad-hoc systems: the Driving Philosophers. In this problem, an unbounded number of driving philosophers (processes) access a rou...
102
click to vote
ICDCSW
2007
IEEE
15 years 6 months ago
2007
IEEE
Content-based publish/subscribe provides a flexible communication model for component interoperation in large-scale environments. In process support systems and other application...
SAC
2005
ACM
15 years 5 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
AMI
2008
Springer
15 years 1 months ago
2008
Springer
Despite the wealth of information and communication technology in society today, there appears to be a lack of acceptable information services for the growing elderly population in...
133
click to vote
HLPPP
1991
15 years 3 months ago
1991
Swarm is a computational model which extends the UNITY model in three important ways: (1) UNITY’s fixed set of variables is replaced by an unbounded set of tuples which are add...