5243 search results - page 944 / 1049 » Reasoning About Strategies |
154
click to vote
BTW
2005
Springer
15 years 12 months ago
2005
Springer
: Optimizers in modern DBMSs utilize a cost model to choose an efficient query execution plan (QEP) among all possible ones for a given query. The accuracy of the cost estimates de...
167
click to vote
DIS
2005
Springer
15 years 12 months ago
2005
Springer
In the 1980s, Don Swanson proposed the concept of “undiscovered public knowledge,” and published several examples in which two disparate literatures (i.e., sets of articles hav...
150
click to vote
FSTTCS
2005
Springer
15 years 12 months ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
163
click to vote
CSCW
2004
ACM
15 years 11 months ago
2004
ACM
Computer system administrators are the unsung heroes of the information age, working behind the scenes to configure, maintain, and troubleshoot the computer infrastructure that un...
139
click to vote
WPES
2004
ACM
15 years 11 months ago
2004
ACM
Suppose a number of hospitals in a geographic area want to learn how their own heart-surgery unit is doing compared with the others in terms of mortality rates, subsequent complic...