199 search results - page 30 / 40 » Detecting Global Predicates in Distributed Systems with Cloc... |
IPPS
2010
IEEE
14 years 7 months ago
2010
IEEE
Multi-pattern string matching remains a major performance bottleneck in network intrusion detection and anti-virus systems for high-speed deep packet inspection (DPI). Although Aho...
CN
2008
14 years 9 months ago
2008
The Internet's interdomain routing protocol, BGP, supports a complex network of Autonomous Systems which is vulnerable to a number of potentially crippling attacks. Several p...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
This paper considers the problem of weak signal detection in the presence of navigation data bits for Global Navigation Satellite System (GNSS) receivers. Typically, a set of part...
AINA
2010
IEEE
15 years 29 days ago
2010
IEEE
—Automated distributed sentry systems need only detect suspicious behavior. Microphones and infrared detectors may suffice, as well as being simpler and cheaper than cameras whil...
CAV
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...