Search Sciweavers | Sciweavers

2687 search results - page 47 / 538

» Formal Analysis of PKCS

click to vote

IFIP
2007
Springer

73views Programming Languages» more IFIP 2007»

Formal Modeling and Analysis of the Modbus Protocol

14 years 5 months ago

Download www.csl.sri.com

Bruno Dutertre

claim paper

Read More »

click to vote

SAFECOMP
2007
Springer

172views Security Privacy» more SAFECOMP 2007»

Formal Specification and Analysis of AFDX Redundancy Management Algorithms

14 years 5 months ago

Download rzv113.rz.tu-bs.de

Jan Täubrich, Reinhard von Hanxleden

claim paper

Read More »

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

14 years 5 months ago

Download www.cecs.uci.edu

Angelo Spognardi, Roberto Di Pietro

claim paper

Read More »

click to vote

BPM
2005
Springer

75views Business» more BPM 2005»

An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis

14 years 4 months ago

Download bpm2005.loria.fr

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

claim paper

Read More »

click to vote

ICCS
2005
Springer

118views Applied Computing» more ICCS 2005»

Arbitrary Relations in Formal Concept Analysis and Logical Information Systems

14 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers