4171 search results - page 691 / 835 » Dependable Data Management in Dynamic Distributed Systems |
171
click to vote
AINA
2006
IEEE
15 years 10 months ago
2006
IEEE
Efficient service discovery in dynamic, crossorganizational VO is one of the challenge aspects in ChinaGrid. Network overlay and search algorithms are two important considerations...
132
click to vote
ICDCSW
2005
IEEE
15 years 10 months ago
2005
IEEE
Publish/subscribe is emerging as an appropriate communication paradigm for large-scale, widely-distributed systems. In this paper, we describe our work on integrating active datab...
132
click to vote
EUROPAR
2005
Springer
15 years 10 months ago
2005
Springer
Mobile devices increasingly offer functionality beyond the one provided by traditional resources – processor, memory and applications. This includes, for example, integrated mul...
113
click to vote
DSN
2003
IEEE
15 years 10 months ago
2003
IEEE
Systems that are formed by massively distributed mobile resources, such as satellite constellations, often provide mission-critical functions. However, many existing quality-of-se...
154
click to vote
CMSB
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Probabilistic model checking is a formal verification technique that has been successfully applied to the analysis of systems from a broad range of domains, including sec...