1058 search results - page 47 / 212 » Search Strategies for Automatic Performance Analysis Tools |
71
Voted
ELPUB
2007
ACM
15 years 1 months ago
2007
ACM
Typical application scenarios in the area of rich-media management, such as the continuous digitisation of the media production processes, the search and retrieval tasks in a grow...
FMCAD
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We relate two well-studied methodologies in deductive verification of operationally modeled sequential programs, namely the use of inductive invariants and clock functio...
83
Voted
IEEEARES
2010
IEEE
15 years 4 months ago
2010
IEEE
—Managing access control policies is a complex task. We argue that much of the complexity is unnecessary and mostly due to historical reasons. There are number of legacy policy s...
IDEAL
2009
Springer
14 years 7 months ago
2009
Springer
In any medical data analysis a good visualization of specific parts or tissues are fundamental in order to perform accurate diagnosis and treatments. For a better understanding of ...
NDSS
2008
IEEE
15 years 4 months ago
2008
IEEE
Protocol reverse engineering is the process of extracting application-level specifications for network protocols. Such specifications are very helpful in a number of security-re...