6318 search results - page 1135 / 1264 » Data Leakage Detection |
164
click to vote
STTT
2010
15 years 4 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
195
click to vote
TCOM
2010
15 years 4 months ago
2010
Abstract—We analyze the performance of fiber fault monitoring of a PON using a centralized, passive optical coding (OC) system. We develop an expression for the detected monitor...
178
click to vote
TCOM
2010
15 years 4 months ago
2010
— Mobile users with single antennas can still take advantage of spatial diversity through cooperative space-time encoded transmission. In this paper, we consider a scheme in whic...
147
click to vote
TMI
2010
15 years 4 months ago
2010
—A novel method is presented for carotid artery vessel wall segmentation in computed tomography angiography (CTA) data. First the carotid lumen is semi-automatically segmented us...
142
click to vote
TVCG
2010
15 years 4 months ago
2010
—Ray-triangle intersection is an important algorithm, not only in the field of realistic rendering (based on ray tracing), but also in physics simulation, collision detection, m...