Sciweavers

4962 search results - page 432 / 993
» Stochastic Model Checking
Sort
View

Lab
652views
17 years 3 months ago
Electronic Enterprises Laboratory
Our research is motivated by a strong conviction that business processes in electronic enterprises can be designed to deliver high levels of performance through the use of mathemat...
CORR
2007
Springer
117views Education» more  CORR 2007»
15 years 4 months ago
A Note on Pricing Options on Defaultable Stocks
In this note, we show that simple models that explicitly accounts for the market participants’ fear that the stock prices will plunge, is capable of explaining the implied volat...
Erhan Bayraktar
113
Voted
MOR
2006
93views more  MOR 2006»
15 years 4 months ago
Optimization of Convex Risk Functions
We consider optimization problems involving convex risk functions. By employing techniques of convex analysis and optimization theory in vector spaces of measurable functions we d...
Andrzej Ruszczynski, Alexander Shapiro
VAMOS
2008
Springer
15 years 5 months ago
Variability Management on Behavioral Models
This paper deals with managing variability on behavioral models. Such models are generally more complex, less tractable by hand than the static, structural parts of a system descr...
Patrick Tessier, David Servat, Sébastien G&...
JWE
2006
81views more  JWE 2006»
15 years 4 months ago
Extending Web Engineering Models and Tools for Automatic Usability Validation
gh abstract information is available. In the next step, we identify existing Web Engineering model properties which can be used to improve the checks, and propose further extension...
Richard Atterer, Albrecht Schmidt, Heinrich Hu&szl...