6750 search results - page 105 / 1350 » Performance Analysis Framework for Layout Analysis Methods |
157
Voted
SPRINGSIM
2010
15 years 27 days ago
2010
Concise and reliable graph-theoretic analysis of complex networks today is a cumbersome task, consisting essentially of the adaptation of intricate libraries for each specific pr...
116
click to vote
DSN
2007
IEEE
15 years 8 months ago
2007
IEEE
Nowadays, economy, security and quality of life heavily depend on the resiliency of a number of critical infrastructures, including the Electric Power System (EPS), through which ...
139
Voted
TCS
2010
14 years 9 months ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
150
Voted
DGO
2011
14 years 2 months ago
2011
In this paper, we describe a tool to help holistically understand, research and analyze the relationship between an ecosystem model and the relevant laws. Specifically, a software...
145
click to vote
INFORMATICALT
2007
15 years 2 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...