1312 search results - page 29 / 263 » Quantitative Comparison of Languages |
FORMATS
2010
Springer
13 years 7 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...
EUROSEC
2009
ACM
14 years 4 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...
AIPS
2000
13 years 11 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
14 years 3 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...
ICALP
2003
Springer
14 years 3 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...