4075 search results - page 779 / 815 » Modeling Distributed Algorithm Using B |
131
click to vote
CN
2007
15 years 2 months ago
2007
Large scale distributed systems typically have interactions among different services that create an avenue for propagation of a failure from one service to another. The failures ...
107
click to vote
ATAL
2009
Springer
15 years 6 months ago
2009
Springer
Most real-world negotiation scenarios involve multiple, interdependent issues. These scenarios are specially challenging because the agents' utility functions are nonlinear, ...
112
click to vote
GRID
2007
Springer
15 years 5 months ago
2007
Springer
We propose strategies to efficiently execute a query workload, which consists of multiple related queries submitted against a scientific dataset, on a distributed-memory system in...
134
click to vote
PPSN
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We explore a new general-purpose heuristic for nding highquality solutions to hard optimization problems. The method, called extremal optimization, is inspired by self-or...
205
click to vote
SIGMOD
2006
ACM
16 years 2 months ago
2006
ACM
In many data sharing settings, such as within the biological and biomedical communities, global data consistency is not always attainable: different sites' data may be dirty,...