2661 search results - page 171 / 533 » Model Checking Performability Properties |
99
Voted
AUTOMATICA
2006
15 years 3 months ago
2006
A commonly employed measure of the signal amplification properties of an input/output system is its induced L2 norm, sometimes also known as H gain. In general, however, it is ext...
164
Voted
PERCOM
2010
ACM
15 years 1 months ago
2010
ACM
In autonomic networks, the self-configuration of network entities is one of the most desirable properties. In this paper, we show how formal verification techniques can verify the ...
147
Voted
PEWASUN
2007
ACM
15 years 5 months ago
2007
ACM
Wireless Sensor Network (WSN) technology is now mature enough to be used in numerous application domains. However, due to the restricted amount of energy usually allocated to each...
104
Voted
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we investigate experimentally the performance of Marginal Cost (MC) and Shapley Value (SH) mechanisms for sharing the cost of multicast transmissions. We implement a...
148
Voted
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...