4075 search results - page 779 / 815 » Modeling Distributed Algorithm Using B |
121
click to vote
CN
2007
15 years 16 days 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 ...
ATAL
2009
Springer
15 years 4 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, ...
96
Voted
GRID
2007
Springer
15 years 4 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...
127
click to vote
PPSN
2000
Springer
15 years 4 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...
196
Voted
SIGMOD
2006
ACM
16 years 20 days 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,...