120 search results - page 23 / 24 » Triangulation and Embedding Using Small Sets of Beacons |
PPDP
2009
Springer
14 years 24 days ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
ANCS
2005
ACM
13 years 12 months ago
2005
ACM
High-speed packet content inspection and filtering devices rely on a fast multi-pattern matching algorithm which is used to detect predefined keywords or signatures in the packe...
USS
2010
13 years 4 months ago
2010
Oppressive regimes and even democratic governments restrict Internet access. Existing anti-censorship systems often require users to connect through proxies, but these systems are...
IPPS
2007
IEEE
14 years 17 days ago
2007
IEEE
This paper presents and evaluates a strategy for integrating the Snort network intrusion detection system into a high-performance programmable Ethernet network interface card (NIC...
ISMAR
2006
IEEE
14 years 8 days ago
2006
IEEE
Magic Lens is a small inset window embedded in a large context view, which provides an alternative view to the region of interest selected from the context view. This metaphor is ...