976 search results - page 17 / 196 » Evaluating Adversarial Partitions |
CAV
2004
Springer
14 years 3 months ago
2004
Springer
Verifying whether an ω-regular property is satisfied by a finite-state system is a core problem in model checking. Standard techniques build an automaton with the complementary ...
AAAI
2006
13 years 11 months ago
2006
While computers have defeated the best human players in many classic board games, progress in Go remains elusive. The large branching factor in the game makes traditional adversar...
IEEEIAS
2007
IEEE
14 years 4 months ago
2007
IEEE
An obfuscation aims to transform a program, without affecting its functionality, so that some secret data within the program can be hidden for as long as possible from an adversar...
PVLDB
2010
13 years 4 months ago
2010
Experience with relational systems has shown that distribution is an effective way of improving the scalability of query evaluation. In this paper, we show how distributed query e...
TCC
2009
Springer
14 years 10 months ago
2009
Springer
It is well known that general secure function evaluation (SFE) with information-theoretical (IT) security is infeasible in presence of a corrupted majority in the standard model. ...