5210 search results - page 421 / 1042 » Tools for Distributed Facilitation |
184
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Interactive dynamic influence diagrams (I-DIDs) are graphical models for sequential decision making in uncertain settings shared by other agents. Algorithms for solving I-DIDs fac...
234
click to vote
AHS
2006
IEEE
15 years 10 months ago
2006
IEEE
We propose a novel type of dynamically reconfigurable System-on-Chip architecture, the Gannet service-based architecture. This novel concept addresses the issue of systemlevel rec...
159
click to vote
APSCC
2006
IEEE
15 years 10 months ago
2006
IEEE
Data sharing is one of the most important research areas in data grid. Distributed data resource and heterogeneous data schema bring difficulties to data Access and sharing. This ...
217
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
Grid technologies have been developed in response to an increase in demand for computing applications designed to yield the benefits from collaboration, data sharing and sophistic...
164
click to vote
FSTTCS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...