42507 search results - page 368 / 8502 » On the analysis of |
184
click to vote
SCAM
2002
IEEE
15 years 12 months ago
2002
IEEE
In this paper, we first present a static analysis based on set-based framework, which estimates exception propagation paths of Java programs. We construct an exception propagatio...
186
click to vote
SSIAI
2002
IEEE
15 years 12 months ago
2002
IEEE
The aim of this research is to develop new image processing models that can be used to characterize single opacities and opacity density within pre-selected regions of interest (R...
234
click to vote
AOSE
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents the MESSAGE/UML agent oriented software engineering methodology and illustrates it on an analysis case study. The methodology covers MAS analysis and design an...
165
click to vote
ASIACRYPT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. We give a careful, fixed-size parameter analysis of a standard [1,4] way to form a pseudorandom generator by iterating a one-way function and then pseudo-random function...
187
click to vote
CC
2001
Springer
15 years 11 months ago
2001
Springer
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...