6756 search results - page 4 / 1352 » Distributed Shared State |
ICDCS
1999
IEEE
13 years 11 months ago
1999
IEEE
group multicasts provide a nice abstraction for communicating data reliably among group members and have been used for a variety of applications. In this paper we present Corona, ...
CAV
2007
Springer
13 years 11 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
COLCOM
2009
IEEE
14 years 4 days ago
2009
IEEE
The need for collaboration and information sharing has been recently growing dramatically with the convergence of outsourcing and offshoring, the increasing need to cut costs thro...
MABS
2004
Springer
14 years 24 days ago
2004
Springer
The efficient simulation of multi-agent systems presents particular challenges which are not addressed by current parallel discrete event simulation (PDES) models and techniques. ...
PADS
1997
ACM
13 years 11 months ago
1997
ACM
Large-scale ecological simulations are natural candidates for distributed discrete event simulation. In optimistic simulation of spatially explicit models, a difficult problem ar...