4143 search results - page 16 / 829 » A theory of distributed aspects |
121
click to vote
JSC
2006
15 years 6 months ago
2006
This paper presents some fundamental aspects of the design and the implementation of an automated prover for Zermelo-Fraenkel set theory within the well-known Theorema system. The...
320
click to vote
Book
Classic book on Algorithmic aspects of Game theory and mechanism design
CONCUR
2004
Springer
15 years 11 months ago
2004
Springer
166
click to vote
PDPTA
2008
15 years 7 months ago
2008
Load balancing is the process of distributing client requests over a set of servers, and is a key element of obtaining good performance in a distributed application. Java RMI exte...