Sciweavers

4143 search results - page 16 / 829
» A theory of distributed aspects
Sort
View
JSC
2006
122views more  JSC 2006»
14 years 11 months ago
An automated prover for Zermelo-Fraenkel set theory in Theorema
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...
Wolfgang Windsteiger

Book
512views
16 years 11 months ago
Algorithmic Game Theory
Classic book on Algorithmic aspects of Game theory and mechanism design
Noam Nisan (Editor), Tim Roughgarden (Editor), Eva...
ECOOPW
2007
Springer
15 years 5 months ago
Models and Aspects - Handling Crosscutting Concerns in MDSD
Andrew Jackson, Iris Groher, Christa Schwanninger,...
CONCUR
2004
Springer
15 years 5 months ago
µABC: A Minimal Aspect Calculus
Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James...
PDPTA
2008
15 years 1 months ago
Dynamic Aspect-Oriented Load Balancing in Java RMI
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...
Andrew Stevenson, Steve MacDonald