2560 search results - page 466 / 512 » Analysis Tool for Honeypot Systems |
PAMI
2007
13 years 9 months ago
2007
—We have previously developed a neurodynamical model of motion segregation in cortical visual area V1 and MT of the dorsal stream. The model explains how motion ambiguities cause...
PVLDB
2008
13 years 9 months ago
2008
DBPubs is a system for effectively analyzing and exploring the content of database publications by combining keyword search with OLAP-style aggregations, navigation, and reporting...
IAJIT
2010
13 years 8 months ago
2010
: Routing is the process of forwarding data across an inter-network from a designated source to a final destination. Along the way from source to destination, at least one intermed...
IWPC
2010
IEEE
13 years 8 months ago
2010
IEEE
—Free and open source software (FOSS) is often distributed in binary packages, sometimes part of GNU/Linux operating system distributions, or part of products distributed/sold to...
JSC
2010
13 years 8 months ago
2010
We study the automated verification of pointer safety for heap-manipulating imperative programs with unknown procedure calls. Given a Hoare-style partial correctness specificati...