4171 search results - page 156 / 835 » Dependable Data Management in Dynamic Distributed Systems |
100
click to vote
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a study of the effectiveness of a recently presented crossover operator for the GAuGE system. This crossover, unlike the traditional crossover employed previou...
121
Voted
ICDCSW
2006
IEEE
15 years 10 months ago
2006
IEEE
Software systems need to adapt as requirements change, environment conditions vary, and bugs are discovered and fixed. In context of verification of these adaptive systems, the ...
116
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
Field-based coordination is a very promising approach for a wide range of application scenarios in modern dynamic networks. To implement such an approach, one can rely on distribu...
147
click to vote
SOSP
2005
ACM
16 years 22 days ago
2005
ACM
Energy consumption has become an important issue in high-end data centers, and disk arrays are one of the largest energy consumers within them. Although several attempts have been...
129
click to vote
TCS
2008
15 years 3 months ago
2008
We describe a type system for the Xd calculus of Gardner and Maffeis. An Xd-network is a network of locations, where each location consists of both a data tree (which contains scr...