2661 search results - page 245 / 533 » Model Checking Performability Properties |
128
click to vote
PIMRC
2008
IEEE
15 years 9 months ago
2008
IEEE
—We consider the Bayesian inference of a random Gaussian vector in a linear model with a random Gaussian matrix. We review two approaches to finding the MAP estimator for this m...
118
click to vote
ISCIS
2004
Springer
15 years 8 months ago
2004
Springer
Web sites have become increasingly complex and offer a large variety of services and contents. The proliferation of dynamic Web contents opens up new challenging performance and s...
111
click to vote
WICSA
2001
15 years 4 months ago
2001
Software development is a constant endeavor to optimize qualities like performance and robustness while ensuring functional correctness. Architecture Description Languages (ADLs) ...
111
click to vote
ZUM
2000
Springer
15 years 6 months ago
2000
Springer
We have recently completed the specication and security proof of a large, industrial scale application. The application is security critical, and the modelling and proof were done ...
113
click to vote
WSC
2001
15 years 4 months ago
2001
We examine the theoretical and numerical global convergence properties of a certain "gradient free" stochastic approximation algorithm called the "simultaneous pertu...