833 search results - page 126 / 167 » Wallet Databases with Observers |
EDCC
2010
Springer
14 years 3 months ago
2010
Springer
—This paper investigates sources of uncertainty in measurement results obtained using three different fault injection techniques. Two software-implemented and one test port-based...
COSIT
2001
Springer
14 years 2 months ago
2001
Springer
The Renaissance architect, moral philosopher, cryptographer, mathematician, Papal adviser, painter, city planner and land surveyor Leon Battista Alberti provided the theoretical fo...
DAWAK
2001
Springer
14 years 2 months ago
2001
Springer
Tree based indexing structures like -trees, ·-trees, Bitmap indexes and Ê-trees have become essential for getting good performance when accessing vast datasets. However, most dat...
PKDD
2001
Springer
14 years 2 months ago
2001
Springer
This paper introduces a new type of Self-Organizing Map (SOM) for Text Categorization and Semantic Browsing. We propose a “hyperbolic SOM” (HSOM) based on a regular tesselation...
CAV
2000
Springer
14 years 2 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...