1128 search results - page 179 / 226 » Little Engines of Proof |
118
Voted
ICDE
2009
IEEE
15 years 7 months ago
2009
IEEE
— A paramount challenge in probabilistic databases is the scalable computation of confidences of tuples in query results. This paper introduces an efficient secondary-storage o...
111
Voted
RECONFIG
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. Protecting an implementation against Side Channel Analysis for Reverse Engineering (SCARE) attacks is a great challenge and we address this challenge by presenting a fir...
100
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
The behaviours of autonomous agents may deviate from those deemed to be for the good of the societal systems of which they are a part. Norms have therefore been proposed as a mean...
126
Voted
DAMON
2009
Springer
15 years 7 months ago
2009
Springer
Database engines face growing scalability challenges as core counts exponentially increase each processor generation, and the efficiency of synchronization primitives used to prot...
109
Voted
ISORC
2008
IEEE
15 years 7 months ago
2008
IEEE
Java, as a safe and platform independent language, avoids access to low-level I/O devices or direct memory access. In standard Java, low-level I/O it not a concern; it is handled ...