6704 search results - page 912 / 1341 » Testing Scenario-Based Models |
134
click to vote
ACSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...
154
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
This work presents a new diagnosis method for use in an adaptive analog tester. The tester is able to detect faults in any linear circuit by learning a reference behavior in a fir...
181
click to vote
ICDAR
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes features and methods for document image comparison and classification at the spatial layout level. The methods are useful for visual similarity based document...
185
click to vote
SIBGRAPI
1999
IEEE
15 years 10 months ago
1999
IEEE
Texture analysis and synthesis is very important for computer graphics, vision, and image processing. This paper describes an algorithm which can produce new textures with a matchi...
118
click to vote
GECCO
1999
Springer
15 years 10 months ago
1999
Springer
Infrastructure management offices plan and complete several thousand small construction projects annually. Effective planning is vital if the public and private sectors are to mai...