4814 search results - page 297 / 963 » Combining abstract interpreters |
173
click to vote
DAC
1994
ACM
15 years 10 months ago
1994
ACM
In this paper, we present a design methodology management system, which assists designers in selecting a suitable design process and invoking the selected sequence of tools on the...
184
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
Abstract Non-interference is typically used as a baseline security policy to formalize confidentiality of secret information manipulated by a program. In contrast to static checkin...
159
click to vote
IJCAI
2003
15 years 8 months ago
2003
The computation of the first complete approximations of game-theoretic optimal strategies for fullscale poker is addressed. Several abstraction techniques are combined to represe...
190
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
165
click to vote
IJSEKE
2002
15 years 6 months ago
2002
through the specification of temporal, spatial and spatio-temporal relations. Moreover, we propose an abstract animation model that can be combined with the intra-media temporal st...