677 search results - page 49 / 136 » Rigorous Object-Oriented Analysis |
ECCV
2000
Springer
14 years 10 months ago
2000
Springer
This paper focuses on matching 1D structures by variational methods. We provide rigorous rules for the construction of the cost function, on the basis of an analysis of properties ...
FC
2007
Springer
14 years 2 months ago
2007
Springer
Onion routing is a scheme for anonymous communication that is designed for practical use. Until now, however, it has had no formal model and therefore no rigorous analysis of its a...
ESAS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper, we propose a framework for the security analysis of on-demand, distance vector routing protocols for ad hoc networks, such as AODV, SAODV, and ARAN. The pr...
CONIELECOMP
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper we present a comparative simulation study of three denoising algorithms using wavelets. The denoising algorithms (i.e., universal threshold, minimax threshold and ri...
EDCC
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we present the formal safety analysis of a radiobased railroad crossing. We use deductive cause-consequence analysis (DCCA) as analysis method. DCCA is a no...