Sciweavers

9698 search results - page 171 / 1940
» models 2010
Sort
View
ANOR
2010
106views more  ANOR 2010»
15 years 7 months ago
An ALM model for pension funds using integrated chance constraints
We discuss integrated chance constraints in their role of short-term risk constraints in a strategic ALM model for Dutch pension funds. The problem is set up as a multistage recou...
Willem K. Klein Haneveld, Matthijs H. Streutker, M...
223
Voted
ENTCS
2006
192views more  ENTCS 2006»
15 years 7 months ago
Model Transformation From VisualOCL to OCL Using Graph Transformation
In this paper we present a model transformation from a visual representation (VisualOCL) of the Object Constraint Language (OCL) to the textual one using graph transformation. Sta...
Karsten Ehrig, Jessica Winkelmann
CBSE
2010
Springer
15 years 10 months ago
Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model
Abstract. We present a technique for designing reconfiguration controllers in the Fractal component-based framework. We obtain discrete control loops that automatically enforce saf...
Gwenaël Delaval, Éric Rutten
ENTCS
2010
130views more  ENTCS 2010»
15 years 7 months ago
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL
Components provide an easy to use programming paradigm allowing for better re-usability of application code. In the context of distributed programming, autonomous hierarchical com...
Ludovic Henrio, Muhammad Uzair Khan
161
Voted
PROCEDIA
2010
89views more  PROCEDIA 2010»
15 years 5 months ago
Computing for construal: an exploratory study of desert ant navigation
The study of ant navigation is a rich source of empirical data and speculative theories that has been well-documented in the scientific literature. We describe and illustrate how ...
Daniel Keer, Steve Russ, Meurig Beynon