Search Sciweavers | Sciweavers

2687 search results - page 47 / 538

» Formal Analysis of PKCS

136

click to vote

IFIP
2007
Springer

73views Programming Languages» more IFIP 2007»

Formal Modeling and Analysis of the Modbus Protocol

16 years 25 days ago

Download www.csl.sri.com

Bruno Dutertre

claim paper

Read More »

183

click to vote

SAFECOMP
2007
Springer

172views Security Privacy» more SAFECOMP 2007»

Formal Specification and Analysis of AFDX Redundancy Management Algorithms

16 years 24 days ago

Download rzv113.rz.tu-bs.de

Jan Täubrich, Reinhard von Hanxleden

claim paper

Read More »

143

click to vote

IPPS
2006
IEEE

104views Distributed And Parallel Com...» more IPPS 2006»

A formal framework for the performance analysis of P2P networks protocols

16 years 21 days ago

Download www.cecs.uci.edu

Angelo Spognardi, Roberto Di Pietro

claim paper

Read More »

101

click to vote

BPM
2005
Springer

75views Business» more BPM 2005»

An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis

16 years 6 days ago

Download bpm2005.loria.fr

Jiacun Wang, Daniela Rosca, William M. Tepfenhart,...

claim paper

Read More »

145

click to vote

ICCS
2005
Springer

118views Applied Computing» more ICCS 2005»

Arbitrary Relations in Formal Concept Analysis and Logical Information Systems

16 years 5 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers