3342 search results - page 441 / 669 » Automating Abstract Interpretation |
129
Voted
ESORICS
1994
Springer
15 years 4 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
102
click to vote
PEPM
1993
ACM
15 years 4 months ago
1993
ACM
In this tutorial the specialisation of declarative logic programs is presented. The main correctness results are given, and the outline of a basic algorithm for partial evaluation...
122
Voted
AIME
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
96
Voted
CISSE
2007
Springer
15 years 4 months ago
2007
Springer
Abstract- This paper explores valuing long-term equity forwardcontracts or futures where both the underlying volatility and the interest rates are modeled as stochastic random vari...
CMMR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Former studies show that removing brightness temporal variations of tones in an expressive clarinet performance induces a decrease in the appreciation judgments among lis...