4341 search results - page 50 / 869 » Quantitative Model checking |
FOSSACS
2009
Springer
15 years 9 months ago
2009
Springer
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...
143
Voted
CSL
2008
Springer
15 years 4 months ago
2008
Springer
Quantitative generalizations of classical languages, which assign to each word a real number instead of a boolean value, have applications in modeling resource-constrained computat...
102
click to vote
SAFECOMP
2009
Springer
15 years 8 months ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
117
click to vote
QEST
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
106
click to vote
ASAP
1997
IEEE
15 years 5 months ago
1997
IEEE
In this paper we present an approach for quantitative analysis of application-specific dataflow architectures. The approach allows the designer to rate design alternatives in a qu...