1760 search results - page 253 / 352 » Program Analysis Using Weighted Pushdown Systems |
142
click to vote
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
In the last years several attempts to define identity-related properties such as identifiability, pseudonymity and anonymity have been made to analyze the privacy offered by inform...
GPCE
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We define a basic calculus for name management, which is obtained by an appropriate combination of three ingredients: extensible records (in a simplified form), names (...
105
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
127
click to vote
ICCS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. A framework for a fully implicit solution method is implemented into (1) the High Order Methods Modeling Environment (HOMME), which is a spectral element dynamical core o...
141
click to vote
CC
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Alias analysis, traditionally performed statically, is unsuited for a dynamic binary translator (DBT) due to incomplete control-flow information and the high complexity o...