3667 search results - page 409 / 734 » Pattern-Oriented Distributed System Architectures |
161
click to vote
SAC
2006
ACM
16 years 20 days ago
2006
ACM
Global public computing platforms, such as PlanetLab, grid computing systems, and XenoServers, require facilities for managing trust to allow their participants to interact effect...
172
click to vote
MOBICOM
2005
ACM
16 years 8 days ago
2005
ACM
This paper presents the first quantitative evaluation of the role of routing computations on performance when mobility is introduced to a content-based routing network. Additiona...
165
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
This paper proposes an abstract and generic topological model that captures the essence of P2P architecture. Such model should in return facilitate the exploitation of the new desi...
195
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
We present a formal verification methodology that we have used on a computer system design project. The methodology integrates a temporal logic model checker with a conventional pr...
176
click to vote
HOTOS
2009
IEEE
15 years 10 months ago
2009
IEEE
In this paper, we propose FLUXO, a system that separates an Internet service's logical functionality from the architectural decisions made to support performance, scalability...