21319 search results - page 290 / 4264 » An Approach for Method Reengineering |
144
click to vote
ISW
2000
Springer
15 years 8 months ago
2000
Springer
We propose a simple classification method for public-key based authentication protocols, which consists of identifying several basic properties leading to a large number of generic...
148
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
153
click to vote
CIA
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. This paper introduces a formal method to aggregate over basic beliefs, in order to deduce aggregated or complex beliefs as often used in applications. Complex beliefs can...
140
click to vote
EUSFLAT
2007
15 years 6 months ago
2007
The patterns which are presented to a Fuzzy ARTmap network should be preprocessed in such a way that the data are of appropriate clearance. In order to decrease the degree of simi...
141
click to vote
APVIS
2004
15 years 6 months ago
2004
The development of powerful visualisation tools is a major challenge in bioinformatics. Phylogenetics, a field with a growing impact on a variety of life science areas, is experie...