Search Sciweavers | Sciweavers

3951 search results - page 40 / 791

» Automatic amortized analysis

click to vote

CSFW
2000
IEEE

134views Security Privacy» more CSFW 2000»

C3PO: A Tool for Automatic Sound Cryptographic Protocol Analysis

15 years 3 months ago

Download members.ozemail.com.au

In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are...

Anthony H. Dekker

claim paper

Read More »

click to vote

IPPS
2000
IEEE

94views Distributed And Parallel Com...» more IPPS 2000»

Specification Techniques for Automatic Performance Analysis Tools

15 years 3 months ago

Download ipdps.cc.gatech.edu

Michael Gerndt, Hans-Georg Eßer

claim paper

Read More »

click to vote

CAV
1999
Springer

85views Hardware» more CAV 1999»

PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols

15 years 3 months ago

Download ti.arc.nasa.gov

Johann Schumann

claim paper

Read More »

click to vote

MM
1998
ACM

69views Multimedia» more MM 1998»

An Intelligent Media Browser Using Automatic Multimodal Analysis

15 years 3 months ago

Download www.fxpal.com

Jonathan Foote, John S. Boreczky, Andreas Girgenso...

claim paper

Read More »

click to vote

CIKM
1997
Springer

104views Information Technology» more CIKM 1997»

A Corpus Analysis Approach for Automatic Query Expansion

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers