9405 search results - page 217 / 1881 » Computing a Model of Set Theory |
140
click to vote
IPPS
2007
IEEE
16 years 26 days ago
2007
IEEE
A fundamental challenge in Internet computing (IC) is to efficiently schedule computations having complex interjob dependencies, given the unpredictability of remote machines, in...
195
click to vote
SUM
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
154
click to vote
EOR
2007
15 years 6 months ago
2007
Performance evaluation of complex systems is a critical issue and bounds computation provides confidence about service quality, reliability, etc. of such systems. The stochastic ...
171
click to vote
CHI
2010
ACM
16 years 1 months ago
2010
ACM
As our technologies travel to new cultural contexts and our designs and methods engage new constituencies, both our design and analytical practices face significant challenges. We...
171
click to vote
CCS
2005
ACM
16 years 2 days ago
2005
ACM
We present a game-theoretic model of the interactions between server and clients in a constrained family of commercial P2P computations (where clients are financially compensated...