1830 search results - page 339 / 366 » Implementing a Tamper-Evident Database System |
CAV
2000
Springer
14 years 3 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
DSOM
2000
Springer
14 years 3 months ago
2000
Springer
Operational Data Analysis (ODA) automatically 1) monitors the performance of a computer through time, 2) stores such information in a data repository, 3) applies data-mining techn...
FGR
1998
IEEE
14 years 3 months ago
1998
IEEE
Current approaches to automated analysis have focused on a small set of prototypic expressions (e.g., joy or anger). Prototypic expressions occur infrequently in everyday life, ho...
COST
1994
Springer
14 years 3 months ago
1994
Springer
In this paper, a teleservice for archiving and retrieving multimedia documents using public networks is described. This teleservice encourages a broad range of commercially applic...
E2EMON
2006
IEEE
14 years 2 months ago
2006
IEEE
Analyzing Internet traffic at packet level involves generally large amounts of raw data, derived data, and results from various analysis tasks. In addition, the analysis often proc...