402 search results - page 37 / 81 » Automatic Abstraction for Worst-Case Analysis of Discrete Sy... |
IDA
2010
Springer
14 years 1 months ago
2010
Springer
: Rock art, human-made markings on stone, is an important cultural and the earliest expression of abstract thinking. While there are tens of millions of photographs of rock art in ...
DIMVA
2010
13 years 9 months ago
2010
Abstract. In the escalating arms race between malicious code and security tools designed to analyze it, detect it or mitigate its impact, malicious code running inside the operatin...
SCIA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Automatic image quality assessment has many diverse applications. Existing quality measures are not accurate representatives of the human perception. We present a hybrid ...
ICPP
1994
IEEE
14 years 27 days ago
1994
IEEE
Shared memory in a parallel computer provides prowith the valuable abstraction of a shared address space--through which any part of a computation can access any datum. Although un...
SIGMETRICS
2008
ACM
13 years 8 months ago
2008
ACM
Abstract. When installing network intrusion detection systems (NIDSs), operators are faced with a large number of parameters and analysis options for tuning trade-offs between dete...