6829 search results - page 15 / 1366 » Quantitative Generalizations of Languages |
76
Voted
ENTCS
2006
15 years 21 days ago
2006
This paper defines action-labelled quantitative transition systems as a general framework for combining qualitative and quantitative analysis. We define state-metrics as a natural...
105
Voted
JLP
2010
14 years 7 months ago
2010
We present a general framework for the analysis of quantitative and qualitative properties of reactive systems, based on a notion of weighted transition systems. We introduce and ...
112
click to vote
VRST
2006
ACM
15 years 6 months ago
2006
ACM
This paper presents an approach to help speed up and unify the exploration and analysis of time-dependent, volumetric data sets by easily incorporating new qualitative and quantit...
ICCSA
2005
Springer
15 years 6 months ago
2005
Springer
There are standard risk analysis methodologies like GMITS and ISO17799, but new threats and vulnerabilities appear day by day because the IT organizations, its infrastructure, and ...
125
click to vote
ECTEL
2007
Springer
15 years 4 months ago
2007
Springer
Currently, large amounts of research exist into the design and implementation of adaptive systems. The complex task of authoring of such systems, or their evaluation, is addressed ...