1912 search results - page 236 / 383 » On the evaluation of argumentation formalisms |
159
click to vote
AIME
2005
Springer
15 years 12 months ago
2005
Springer
Evidence-based clinical guidelines require frequent updates due to research and technology advances. The quality of guideline updates can be improved if the knowledge underlying th...
172
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
145
click to vote
HPCC
2005
Springer
15 years 12 months ago
2005
Springer
Tuning parallel code can be a time-consuming and difficult task. We present our approach to automate the performance analysis of OpenMP applications that is based on the notion of ...
157
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...
165
click to vote
ICDT
2005
ACM
15 years 12 months ago
2005
ACM
Abstract. We survey work on statically type checking XML transformations, covering a wide range of notations and ambitions. The concept of type may vary from idealizations of DTD t...