9405 search results - page 343 / 1881 » Computing a Model of Set Theory |
127
click to vote
FOSSACS
2010
Springer
15 years 12 months ago
2010
Springer
For many application-level distributed protocols and parallel algorithms, the set of participants, the number of messages or the interaction structure are only known at run-time. T...
142
click to vote
SARA
2007
Springer
15 years 11 months ago
2007
Springer
Relational databases have had great industrial success in computer science. The power of the paradigm is made clear both by its widespread adoption and by theoretical analysis. Tod...
153
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
Product Distribution (PD) theory was recently developed as a framework for analyzing and optimizing distributed systems. In this paper we demonstrate its use for adaptive distribu...
141
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
The No-Free-Lunch theorems (NFLTs) are criticized for being too general to be of any relevance to the real world scenario. This paper investigates, both formally and empirically, ...
128
click to vote
ACMSE
2010
ACM
15 years 3 months ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...