4341 search results - page 302 / 869 » Quantitative Model checking |
149
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
This paper presents an information-theoretic model of a voting system, consisting of (a) definitions of the desirable qualities of integrity, privacy and verifiability, and (b) ...
168
click to vote
BMCBI
2002
15 years 6 months ago
2002
Background: Robustness of mathematical models of biochemical networks is important for validation purposes and can be used as a means of selecting between different competing mode...
161
click to vote
EDOC
2009
IEEE
16 years 1 months ago
2009
IEEE
The impact IT systems have on organizations is widely debated, both in academia and industry. This paper describes a quantitative framework for analyzing organizational impact fro...
149
click to vote
IAT
2006
IEEE
16 years 23 days ago
2006
IEEE
Organizations involving multiple agents require adaptation mechanisms to guarantee robustness, especially in critical domains. This paper presents an organizational template to ai...
216
click to vote
QEST
2005
IEEE
16 years 8 days ago
2005
IEEE
In this paper we present a novel performance analysis technique for large-scale systems modelled in the stochastic process algebra PEPA. In contrast to the well-known approach of ...