1128 search results - page 179 / 226 » Little Engines of Proof |
187
click to vote
ICDE
2009
IEEE
16 years 29 days 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...
173
click to vote
RECONFIG
2009
IEEE
16 years 26 days 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...
161
click to vote
ATAL
2009
Springer
16 years 22 days 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...
180
click to vote
DAMON
2009
Springer
16 years 22 days 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...
187
click to vote
ISORC
2008
IEEE
16 years 16 days 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 ...