Search Sciweavers | Sciweavers

2162 search results - page 21 / 433

» A Meta-Notation for Protocol Analysis

click to vote

CSFW
1997
IEEE

114views Security Privacy» more CSFW 1997»

Casper: A Compiler for the Analysis of Security Protocols

14 years 26 days ago

Download web.comlab.ox.ac.uk

Gavin Lowe

claim paper

Read More »

click to vote

IFIP
1998
Springer

81views Programming Languages» more IFIP 1998»

An analysis of retransmission strategies for reliable multicast protocols

14 years 26 days ago

Download userver.ftw.at

M. Shuba, Peter Reichl

claim paper

Read More »

click to vote

INFOCOM
1996
IEEE

63views Communications» more INFOCOM 1996»

Design and Analysis of a WDMA Protocol for Passive Star-Coupled Lightwave Networks

14 years 24 days ago

Download lion.cs.uiuc.edu

Chao-Ju Hou, Bin Wang 0002, Ching-Chih Han

claim paper

Read More »

click to vote

ITS
2000
Springer

84views Multimedia» more ITS 2000»

An Analysis of Multiple Tutoring Protocols

14 years 6 days ago

Download www.cs.iit.edu

Byung-In Cho, Joel A. Michael, Allen A. Rovick, Ma...

claim paper

Read More »

click to vote

CAV
1995
Springer

99views Hardware» more CAV 1995»

Automated Analysis of an Audio Control Protocol

14 years 6 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers