6047 search results - page 216 / 1210 » Modeling with Extend |
124
click to vote
WSC
2007
15 years 5 months ago
2007
The paper presents an extensible Petri Net Markup Language (xPNML), which is an extended version of PNML. The xPNML format overcomes limitations associated with PNML structure for...
161
click to vote
I3E
2001
15 years 4 months ago
2001
: Designing security-critical systems correctly is very difficult. We present work on software engineering of security critical systems, supported by the CASE tool AUTOFOCUS. Secur...
123
click to vote
WSC
2004
15 years 4 months ago
2004
This paper derives Monte Carlo simulation estimators to compute option price derivatives, i.e., the `Greeks,' under Heston's stochastic volatility model and some variant...
115
click to vote
JALC
2006
15 years 3 months ago
2006
Membrane computing is a branch of molecular computing that aims to develop models and paradigms that are biologically motivated. It identifies an unconventional computing model, n...
ICCCN
2008
IEEE
15 years 9 months ago
2008
IEEE
—We investigate a quasi-trusted QKD relaying model. This is a three-party communication model. Two nodes Alice and Bob want to establish a secret key. However, the distance betwe...