1912 search results - page 64 / 383 » On the evaluation of argumentation formalisms |
COLCOM
2005
IEEE
15 years 5 months ago
2005
IEEE
P2P data stores achieve high data availability by introducing replication of data. As a consequence, searching data may require to follow several routing paths introducing additio...
ESOP
2003
Springer
15 years 5 months ago
2003
Springer
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
FMICS
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Quantitative analysis of quality-of-service metrics is an important tool in early evaluation of service provision. This analysis depends on being able to estimate the ave...
ICALP
2000
Springer
15 years 3 months ago
2000
Springer
Today many formalisms exist for specifying complex Markov chains. In contrast, formalism for specifying the quantitative properties to analyze have remained quite primitive. In th...
FMICS
2008
Springer
15 years 29 days ago
2008
Springer
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different appr...