4636 search results - page 397 / 928 » Modelling and Validation with VipTool |
121
click to vote
ASIACRYPT
2000
Springer
15 years 9 months ago
2000
Springer
Since Power Analysis on smart-cards was introduced by Paul Kocher [KJJ98], the validity of the model used for smart-cards has not been given much attention. In this paper, we firs...
134
click to vote
SAFECOMP
1998
Springer
15 years 8 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
120
click to vote
EMNLP
2007
15 years 6 months ago
2007
We present a probabilistic model of diachronic phonology in which individual word forms undergo stochastic edits along the branches of a phylogenetic tree. Our approach allows us ...
113
click to vote
WSC
2001
15 years 6 months ago
2001
This tutorial considers some very general procedures for analysing the results of a simulation experiment using bootstrap resampling. Bootstrapping has come to be recognised in st...
136
click to vote
WSCG
2000
15 years 6 months ago
2000
Techniques for simultaneous display of volume data and geometric models have been reported in the literature. These techniques either require conversion from one representation to...