Sciweavers

9325 search results - page 400 / 1865
» The decentralized implementability problem
Sort
View
SIGMOD
2004
ACM
110views Database» more  SIGMOD 2004»
16 years 5 months ago
Toward a Progress Indicator for Database Queries
Many modern software systems provide progress indicators for long-running tasks. These progress indicators make systems more user-friendly by helping the user quickly estimate how...
Gang Luo, Jeffrey F. Naughton, Curt J. Ellmann, Mi...
APSCC
2008
IEEE
15 years 11 months ago
Runtime Prediction Based Grid Scheduling of Parameter Sweep Jobs
—This paper examines the problem of predicting job runtimes by exploiting the properties of parameter sweeps. A new parameter sweep prediction framework GIPSy (Grid Information P...
Sam Verboven, Peter Hellinckx, Frans Arickx, Jan B...
IEEEARES
2007
IEEE
15 years 11 months ago
CSP-Based Firewall Rule Set Diagnosis using Security Policies
The most important part of a firewall configuration process is the implementation of a security policy by a security administrator. However, this security policy is not designed b...
Sergio Pozo, Rafael Ceballos, Rafael M. Gasca
119
Voted
COCOA
2007
Springer
15 years 11 months ago
Mechanism Design by Creditability
This paper attends to the problem of a mechanism designer seeking to influence the outcome of a strategic game based on her creditability. The mechanism designer offers additional...
Raphael Eidenbenz, Yvonne Anne Oswald, Stefan Schm...
ICLP
2007
Springer
15 years 11 months ago
Logic Programming Approach to Automata-Based Decision Procedures
We propose a novel technique that maps decision problems in WS1S (weak monadic second-order logic with n successors) to the problem of query evaluation of Complex-value Datalog que...
Gulay Ünel, David Toman