6829 search results - page 13 / 1366 » Quantitative Generalizations of Languages |
100
Voted
FORMATS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Quantitative verification techniques are able to establish system properties such as "the probability of an airbag failing to deploy on demand" or "the exp...
100
click to vote
EUROSEC
2009
ACM
15 years 7 months ago
2009
ACM
Quantitative Trust Management (QTM) provides a dynamic interpretation of authorization policies for access control decisions based on upon evolving reputations of the entities inv...
100
Voted
AIPS
2000
15 years 2 months ago
2000
We develop an algorithm for merging plans that are represented in a richly expressive language. Speci cally, weare concerned with plans that have i quantitative temporal constrain...
MMAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. As the scale and scope of multi-agent systems grow, it becomes increasingly important to design and manage the manner in which the participants interact. The potential fo...
124
click to vote
ICALP
2003
Springer
15 years 5 months ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...