Sciweavers

6960 search results - page 48 / 1392
» Continuity Analysis of Programs
Sort
View
90
Voted
IFIP
2010
Springer
14 years 9 months ago
Formal Analysis of Key Integrity in PKCS#11
Andrea Falcone, Riccardo Focardi
94
Voted
IFIP
2010
Springer
14 years 9 months ago
Resilience in Risk Analysis and Risk Assessment
Stig Johnsen
100
Voted
TOIT
2012
13 years 5 months ago
Firewall policy change-impact analysis
Alex X. Liu
109
Voted
ALGORITHMICA
1998
90views more  ALGORITHMICA 1998»
15 years 2 months ago
Dynamics of the Binary Euclidean Algorithm: Functional Analysis and Operators
We provide here a complete average-case analysis of the binary continued fraction representation of a random rational whose numerator and denominator are odd and less than N. We an...
Brigitte Vallée
230
Voted
AUTOMATICA
2011
14 years 9 months ago
Timing and liveness in continuous Petri nets
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...
Carlos Renato Vázquez, Manuel Silva