Search Sciweavers | Sciweavers

7941 search results - page 288 / 1589

» Network Analysis of Repositories

146

click to vote

FOSSACS
2004
Springer

98views Software Engineering» more FOSSACS 2004»

Probabilistic Bisimulation and Equivalence for Security Analysis of Network Protocols

15 years 11 months ago

Download theory.stanford.edu

Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...

Ajith Ramanathan, John C. Mitchell, Andre Scedrov,...

claim paper

Read More »

143

click to vote

HYBRID
2004
Springer

117views Control Systems» more HYBRID 2004»

Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks

15 years 11 months ago

Download www.stanford.edu

Patrick Lincoln, Ashish Tiwari

claim paper

Read More »

167

click to vote

CODES
2003
IEEE

124views Software Engineering» more CODES 2003»

Architectural analysis and instruction-set optimization for design of network protocol processors

15 years 11 months ago

Download www.cs.yale.edu

Haiyong Xie, Li Zhao, Laxmi N. Bhuyan

claim paper

Read More »

click to vote

INFOCOM
2003
IEEE

112views Communications» more INFOCOM 2003»

Simplification of Network Analysis in Large-Bandwidth Systems

15 years 11 months ago

Download www.ieee-infocom.org

Do Young Eun, Ness B. Shroff

claim paper

Read More »

133

click to vote

SBCCI
2003
ACM

114views VLSI» more SBCCI 2003»

Accurate Dependability Analysis of CAN-Based Networked Systems

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers