307 search results - page 50 / 62 » Calculating Architectural Reliability via Modeling and Analy... |
143
click to vote
JORS
2010
14 years 4 months ago
2010
Monte Carlo simulation is a common method for studying the volatility of market traded instruments. It is less employed in retail lending, because of the inherent nonlinearities in...
80
Voted
ICFEM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
POPL
2012
ACM
13 years 5 months ago
2012
ACM
Formal models serve in many roles in the programming language community. In its primary role, a model communicates the idea of a language design; the architecture of a language to...
104
click to vote
COMCOM
2011
14 years 4 months ago
2011
In the very active field of complex networks, research advances have largely been stimulated by the availability of empirical data and the increase in computational power needed ...
103
click to vote
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
Mining feedback information from user click-through data is an important issue for modern Web retrieval systems in terms of architecture analysis, performance evaluation and algor...