1975 search results - page 272 / 395 » Property analysis and design understanding |
185
click to vote
IBPRIA
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a system for 3D ultrasound which aims to reconstruct a volume of interest from a set of ultrasound images. A Bayesian reconstruction algorithm has been recently...
175
click to vote
ISW
2000
Springer
15 years 10 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...
185
click to vote
CMS
2006
15 years 8 months ago
2006
Abstract. The perspective directions in evaluating network security are simulating possible malefactor's actions, building the representation of these actions as attack graphs...
153
click to vote
MASCOTS
2004
15 years 7 months ago
2004
We describe the application of a performance engineering methodology based on UML diagrams with annotations taken from the Profile for Schedulability, Performance and Time. The me...
146
click to vote
AUTOMATICA
2010
15 years 6 months ago
2010
In this paper, a suitable LaSalle principle for continuous-time linear switched systems is used to characterize invariant sets and their associated switching laws. An algorithm to...