6318 search results - page 976 / 1264 » Data Leakage Detection |
186
click to vote
ISSTA
2010
ACM
15 years 8 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...
168
click to vote
DMSN
2005
ACM
15 years 8 months ago
2005
ACM
In the resource over-constrained environment of sensor networks, techniques for storing data locally in sensor nodes have been proposed to support efficient processing of adhoc qu...
215
click to vote
DSD
2008
IEEE
15 years 8 months ago
2008
IEEE
Due to modern technology trends such as decreasing feature sizes and lower voltage levels, fault tolerance is becoming increasingly important in computing systems. Shared memory i...
185
click to vote
EUROSSC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper describes methods and sensor technology used to identify persons from their walking characteristics. We use an array of simple binary switch floor sensors to d...
191
click to vote
INFOSCALE
2007
ACM
15 years 8 months ago
2007
ACM
— The concept of Cumulated Anomaly (CA), which describes a new type of database anomalies, is addressed. A typical CA intrusion is that when a user who is authorized to modify da...