757 search results - page 72 / 152 » Monte Carlo Model Checking |
102
click to vote
ENC
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper explores the process of validation for the syntax of a graphical notation. We define a unified specification for five of the UML diagrams used by the Discovery Method a...
120
click to vote
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
: In the reliability-risk assessment, the second order reliability index method and the Conditional Expectation Monte Carlo (CEMC) simulation were interrelated as a new Level III a...
215
Voted
GLOBECOM
2010
IEEE
15 years 16 days ago
2010
IEEE
IEEE 802.15.4 multi-hop wireless networks are an important communication infrastructure for many applications, including industrial control, home automation, and smart grids. Exist...
107
Voted
WSC
2004
15 years 3 months ago
2004
The distribution of possible future losses for a portfolio of credit risky corporate assets, such as bonds or loans, shows strongly asymmetric behavior and a fat tail as the conse...
115
Voted
DBPL
2007
Springer
15 years 6 months ago
2007
Springer
Inclusion between XML types is important but expensive, and is much more expensive when unordered types are considered. We prove here that inclusion for XML types with interleavin...