7587 search results - page 348 / 1518 » Network Analysis and Visualisation |
183
click to vote
AINA
2008
IEEE
16 years 1 months ago
2008
IEEE
With quick evolution of grid technologies and increasing complexity of e-Science applications, reasoning temporal properties of grid workflows to ensure reliability and trustworth...
166
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract-We present a new form of quantitative safety analysis safety optimization. This method is a combination of fault tree analysis(FTA) and mathematical optimization technique...
163
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Latch based circuits are widely adopted in high performance circuits. But there is a lack of accurate latch models for doing timing analysis. In this paper, we propose a new lat...
194
click to vote
NDSS
2000
IEEE
15 years 11 months ago
2000
IEEE
We analyze an optimistic contract signing protocol of Asokan, Shoup, and Waidner as a case study in the applicability of formal methods to verification of fair exchange protocols...
203
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
By managing network resources at compile time, the compiled communication technique greatly improves the communication performance for communication patterns that are known at com...