15644 search results - page 413 / 3129 » Brittle System Analysis |
286
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
Abstract Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the model...
240
click to vote
JOC
2011
15 years 2 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...
201
click to vote
ICC
2008
IEEE
16 years 2 months ago
2008
IEEE
— This paper studies the performance of transmission schemes that have rate that increases with average SNR while maintaining a fixed outage probability. This is in contrast to ...
202
click to vote
CHARME
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
173
click to vote
DATE
2010
IEEE
16 years 24 days ago
2010
IEEE
—Recent developments have shown the possibility of leveraging silicon nanophotonic technologies for chip-scale interconnection fabrics that deliver high bandwidth and power effi...