Sciweavers

18 search results - page 4 / 4
» Modeling the Dynamics of Credit Spreads with Stochastic Vola...
Sort
View
SAC
2005
ACM
13 years 11 months ago
Formal modeling and quantitative analysis of KLAIM-based mobile systems
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
Rocco De Nicola, Diego Latella, Mieke Massink
JCSS
2008
159views more  JCSS 2008»
13 years 5 months ago
Analysing distributed Internet worm attacks using continuous state-space approximation of process algebra models
Internet worms are classically described using SIR models and simulations, to capture the massive dynamics of the system. Here we are able to generate a differential equation-base...
Jeremy T. Bradley, Stephen T. Gilmore, Jane Hillst...
SC
2009
ACM
14 years 3 days ago
Many task computing for multidisciplinary ocean sciences: real-time uncertainty prediction and data assimilation
Error Subspace Statistical Estimation (ESSE), an uncertainty prediction and data assimilation methodology employed for real-time ocean forecasts, is based on a characterization an...
Constantinos Evangelinos, Pierre F. J. Lermusiaux,...