686 search results - page 56 / 138 » On the General Applicability of Instruction-Set Randomizatio... |
131
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
Securing wireless sensor networks against node capture is a challenging task. All well-known random key pre-distribution systems, including the Eschenauer and Gligor's pionee...
147
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
A number of techniques for generating geometric models of human head and body are in use nowadays. Models of human characters are useful in computer games, virtual reality, and ma...
108
Voted
COLT
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We establish a generic theoretical tool to construct probabilistic bounds for algorithms where the output is a subset of objects from an initial pool of candidates (or mo...
131
click to vote
SAT
2004
Springer
15 years 8 months ago
2004
Springer
2QBF is the problem of evaluating a Quantified Boolean Formula (QBF) with two levels of quantification. Many practical problems in sequential verification can be formulated as i...
115
click to vote
FMOODS
2003
15 years 4 months ago
2003
Concurrent and distributed systems have traditionally been modelled using nondeterministic transitions over configurations. The minism provides an abstraction over scheduling, net...