3424 search results - page 386 / 685 » Building Diverse Computer Systems |
173
Voted
CCS
2004
ACM
16 years 29 days ago
2004
ACM
In large-scale environments, network intrusion detection systems (NIDSs) face extreme challenges with respect to traffic volume, traffic diversity, and resource management. Whil...
198
Voted
WISE
2002
Springer
16 years 14 days ago
2002
Springer
Advances in computing and communication technologies have resulted in a wide variety of networked mobile devices that access data over the Internet. In this paper, we argue that s...
219
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
216
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
In this paper, we demonstrate a novel landmark photo search and browsing system, Agate, which ranks landmark image search results considering their relevance, diversity and qualit...
181
Voted
DAS
2008
Springer
15 years 9 months ago
2008
Springer
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...