6318 search results - page 970 / 1264 » Data Leakage Detection |
231
Voted
FMCO
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. Formal methods, in particular model checking, are increasingly accepted as integral part of system development. With large software systems beyond the range of fully auto...
164
click to vote
DSN
2002
IEEE
16 years 12 days ago
2002
IEEE
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...
190
click to vote
ICRA
2002
IEEE
16 years 11 days ago
2002
IEEE
In this paper, we propose a tactile sensing element that communicates through two dimensional conductive skin layers without individual wires. Each tactile element has sensors and...
212
Voted
VISUALIZATION
2002
IEEE
16 years 10 days ago
2002
IEEE
Isosurfaces are commonly used to visualize scalar fields. Critical isovalues indicate isosurface topology changes: the creation of new surface components, merging of surface comp...
226
click to vote
CDC
2009
IEEE
16 years 5 days ago
2009
IEEE
Abstract— We study the problem of maximizing the aggregated revenue in sensor networks with deadline constraints. Our model is that of a sensor network that is arranged in the fo...