2560 search results - page 379 / 512 » Analysis Tool for Honeypot Systems |
102
click to vote
RTS
2008
15 years 1 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
118
click to vote
TVCG
2010
15 years 8 days ago
2010
—We develop an interactive analysis and visualization tool for probabilistic segmentation in medical imaging. The originality of our approach is that the data exploration is guid...
128
click to vote
IGARSS
2010
14 years 12 months ago
2010
The segmentation stage is a key aspect of an object-based image analysis system. However, the segmentation quality is usually difficult to evaluate for satellite images. The Synth...
120
click to vote
LPAR
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
108
Voted
ICIP
2009
IEEE
14 years 11 months ago
2009
IEEE
In this effort, a data-driven and application independent technique to combine focal information from different focal planes is presented. Input images, acquired by imaging system...