59 search results - page 2 / 12 » Partially Synchronized DEC-MDPs in Dynamic Mechanism Design |
FSEN
2007
Springer
13 years 9 months ago
2007
Springer
Abstract. Future communication and computation devices require mechanisms for on-the-fly reconfiguration in their protocol stack to operate in different situations and networks. Th...
WCNC
2010
IEEE
13 years 9 months ago
2010
IEEE
—Controlled mobile helper nodes called data ferries have recently been proposed to bridge communications between disconnected nodes in a delay-tolerant manner. While existing wor...
CONCUR
2000
Springer
13 years 9 months ago
2000
Springer
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...
DAC
2000
ACM
14 years 6 months ago
2000
ACM
In this paper, we propose a technique to implement communication protocols as hardware circuits using a model of concurrent EFSMs with multi-way synchronization. Since use of mult...
EUROPAR
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. The global quiescence of a distributed computation (or distributed termination detection) is an important problem. Some concurrent programming languages and systems provi...