18493 search results - page 414 / 3699 » Timers for Distributed Systems |
164
click to vote
CLIMA
2007
15 years 8 months ago
2007
The proof theory of multi-agent epistemic logic extended with operators for distributed knowledge is studied. Distributed knowledge of A within a group G means that A follows from ...
170
click to vote
JSW
2008
15 years 6 months ago
2008
Abstract-- Securely managing shared information in distributed environments across multiple organisations is a challenge. Distributed information management systems must be able to...
175
click to vote
CONCUR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we provide a transformation from the branching bisimulation problem for infinite, concurrent, data-intensive systems in linear process format, into solving...
187
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Software distributed shared memory (DSM) systems have successfully provided the illusion of shared memory on distributed memory machines. However, most software DSM systems use th...
173
click to vote
FTDCS
1997
IEEE
15 years 11 months ago
1997
IEEE
Mobile agents offer a new possibility for the development of applications in distributed systems and are no longer a theoretical issue since different architectures for their impl...