Search Sciweavers | Sciweavers

10890 search results - page 108 / 2178

» Automatic Complexity Analysis

112

click to vote

STACS
2007
Springer

143views Theoretical Computer Science» more STACS 2007»

On the Automatic Analysis of Recursive Security Protocols with XOR

15 years 9 months ago

Download people.inf.ethz.ch

Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...

Ralf Küsters, Tomasz Truderung

claim paper

Read More »

click to vote

ATVA
2005
Springer

118views Hardware» more ATVA 2005»

Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach

15 years 8 months ago

Download w3.isis.vanderbilt.edu

A. Dubey, X. Wu, H. Su, T. J. Koo

claim paper

Read More »

102

click to vote

FSKD
2005
Springer

77views Fuzzy Logic» more FSKD 2005»

Using Fuzzy Logic for Automatic Analysis of Astronomical Pipelines

15 years 8 months ago

Download www.phy.mtu.edu

Lior Shamir, Robert J. Nemiroff

claim paper

Read More »

click to vote

MIR
2004
ACM

94views Multimedia» more MIR 2004»

Latent semantic analysis of facial action codes for automatic facial expression recognition

15 years 8 months ago

Download www.idiap.ch

Beat Fasel, Florent Monay, Daniel Gatica-Perez

claim paper

Read More »

click to vote

CCS
2004
ACM

87views Security Privacy» more CCS 2004»

Automatic analysis of firewall and network intrusion detection system configurations

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers