1018 search results - page 45 / 204 » Generative unbinding of names |
WSC
2008
13 years 11 months ago
2008
In this paper, we use exact simulation to price CDO under a new dynamic model, the Conditional Survival (CS) model, which provided excellent calibration to both iTraxx tranches an...
CAV
2010
Springer
14 years 28 days ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
SCN
2008
Springer
13 years 9 months ago
2008
Springer
A new identity-based key agreement protocol designed to operate on thenetworklayerispresented. Endpoint addresses, namelyIP and MAC addresses, areusedaspublickeystoauthenticatethe ...
CONCUR
2006
Springer
14 years 24 days ago
2006
Springer
Several applications of graph rewriting systems (notably, some encodings of calculi with name passing) require rules which, besides deleting and generating graph items, are able to...
FSTTCS
2006
Springer
14 years 22 days ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...