1344 search results - page 14 / 269 » Automatic performance analysis with periscope |
ACSAC
1999
IEEE
15 years 3 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...
100
click to vote
GI
2009
Springer
15 years 3 months ago
2009
Springer
: We develop a method to create taxonomies in large social networks solely based on users group membership information. We illustrate our technique using an example of the Flickr p...
COLING
2002
14 years 11 months ago
2002
This paper presents the Natural Language Processing-based linguistic analysis tool that we have developed for Japanese as a Second Language teachers. This program, Zero Detector (...
IPMI
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. An important assessment in patients with ischemic heart disease is whether myocardial contractility may improve after treatment. The prediction of myocardial contractilit...
103
click to vote
ICICS
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. The NRL Pump protocol defines a multilevel secure component whose goal is to minimize leaks of information from high level systems to lower level systems, without degrad...