4143 search results - page 16 / 829 » A theory of distributed aspects |
JSC
2006
13 years 7 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...
Book
Classic book on Algorithmic aspects of Game theory and mechanism design
ECOOPW
2007
Springer
14 years 1 months ago
2007
Springer
CONCUR
2004
Springer
14 years 29 days ago
2004
Springer
PDPTA
2008
13 years 9 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...