1402 search results - page 70 / 281 » Distributed Integrity Checking for Systems with Replicated D... |
121
Voted
DSVIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
141
click to vote
CCGRID
2006
IEEE
15 years 9 months ago
2006
IEEE
— In DHT based P2P systems, various issues such as peer heterogeneity, network topology, and diverse file popularity, may affect the DHT system efficiency. In this paper, we pr...
129
click to vote
UIST
1996
ACM
15 years 7 months ago
1996
ACM
We describe COTERIE, a toolkit that provides languagelevel support for building distributed virtual environments. COTERIE is based on the distributed data-object paradigm for dist...
152
Voted
COMSWARE
2007
IEEE
15 years 9 months ago
2007
IEEE
1 As distributed systems scale up and are deployed into increasingly sensitive settings, demand is rising for a new generation of communications middleware in support of applicati...
157
click to vote
DEXAW
2007
IEEE
15 years 7 months ago
2007
IEEE
The vision of the Semantic Web is to make Web content machine-readable. To describe data, the Resource Description Framework has been extended with a schema-level and description ...