9842 search results - page 1738 / 1969 » Compositional timing analysis |
192
click to vote
CCS
2005
ACM
16 years 2 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
168
click to vote
CIVR
2005
Springer
16 years 2 days ago
2005
Springer
In the paper, we proposed a novel feature descriptor using over-complete wavelet transform and wavelet domain based fractal signature for texture image analysis and retrieval. Trad...
156
click to vote
EDO
2005
Springer
16 years 2 days ago
2005
Springer
This paper addresses the issues of test coverage analysis of J2EE servers. These middleware are nowadays at the core of the modern information technology’s landscape. They provi...
204
click to vote
EMSOFT
2005
Springer
16 years 2 days ago
2005
Springer
Real-time systems have reached a level of complexity beyond the scaling capability of the low-level or restricted languages traditionally used for real-time programming. While Met...
183
click to vote
ICDT
2005
ACM
16 years 1 days ago
2005
ACM
Abstract. A classical problem in query optimization is to find the optimal ordering of a set of possibly correlated selections. We provide an ion of this problem as a generalizati...