13489 search results - page 2363 / 2698 » Operating System |
168
click to vote
AMAI
2004
Springer
16 years 3 days ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
180
click to vote
CC
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...
183
click to vote
CIKM
2004
Springer
16 years 3 days ago
2004
Springer
We explore join optimizations in the presence of both timebased constraints (sliding windows) and value-based constraints (punctuations). We present the first join solution named...
180
click to vote
DEXA
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper presents an application that aims at identifying optimal locations based on partially ordered constraints. It combines a tool developed in this project that al...
158
click to vote
ESORICS
2004
Springer
16 years 2 days ago
2004
Springer
We describe an approach to sensor-based authentication that can adapt to accommodate incomplete, unreliable, or inaccurate input provided to the system. Parameterized Authenticatio...