1689 search results - page 289 / 338 » Refining abstract interpretations |
115
click to vote
ECHT
1994
15 years 8 months ago
1994
In semantically rich hypertexts it is attractive to enable presentation of a network of nodes and links at different levels action. It is also important that the user can interact...
152
click to vote
ESORICS
1994
Springer
15 years 8 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...
140
click to vote
CSL
1992
Springer
15 years 8 months ago
1992
Springer
We develop the rst steps of a theory of concurrency within the framework of evolving algebras of Gurevich, with the aim of investigating its suitability for the role of a general f...
126
click to vote
PEPM
1993
ACM
15 years 8 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...
145
click to vote
AIME
2009
Springer
15 years 7 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...