413 search results - page 29 / 83 » Synthesis of Distributed Algorithms Using Asynchronous Autom... |
151
click to vote
MIDDLEWARE
2004
Springer
15 years 7 months ago
2004
Springer
In mobile ad hoc networks, synchronous communication mechanisms appear to be not suitable, since these assume that the involved entities are present at the same time during the in...
118
Voted
COOPIS
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract. Asynchronous communications are prominent in distributed and mobile systems. Often consystems consider an abstract point of view with synchronous communications. However ...
129
Voted
ICCAD
1998
IEEE
15 years 6 months ago
1998
IEEE
Designers of distributed embedded systems face many challenges in determining the appropriate tradeoffs to make when defining a system architecture or retargeting an existing desi...
108
Voted
ARTS
1997
Springer
15 years 6 months ago
1997
Springer
In 10 , an algebra for timed automata has been introduced. In this article, we introduce a syntactic characterisation of nite timed automata in terms of that process algebra. We s...
149
click to vote
MIDDLEWARE
2004
Springer
15 years 7 months ago
2004
Springer
The characteristics of mobile environments, with the possibility of frequent disconnections and fluctuating bandwidth, have forced a rethink of traditional middleware. In particu...