9405 search results - page 217 / 1881 » Computing a Model of Set Theory |
103
Voted
IPPS
2007
IEEE
15 years 9 months 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...
146
click to vote
SUM
2007
Springer
15 years 9 months 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 ...
124
Voted
EOR
2007
15 years 3 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 ...
123
Voted
CHI
2010
ACM
15 years 10 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...
130
Voted
CCS
2005
ACM
15 years 9 months 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...