نشرت في: June 2009
Proof Carrying Code provides trust in mobile code by requiring certificates that ensure the code adherence to specific conditions. The prominent appr...
Contracts are behavioral descriptions of Web services. We devise a theory of contracts that formalizes the compatibility of a client with a service,...
We motivate and describe improved fast simulation techniques for the accelerated performance evaluation of highly available services. In systems that...
نشرت في: December 2007
In this article, we present three smoothed functional (SF) algorithms for simulation optimization. While one of these estimates only the gradient by...
Sensitivity analysis has become a natural step in the uncertainty analysis framework. As there is no general sensitivity measure that would capture a...
