Sciweavers

9698 search results - page 171 / 1940
» models 2010
Sort
View
ANOR
2010
106views more  ANOR 2010»
15 years 6 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...
ENTCS
2006
192views more  ENTCS 2006»
15 years 6 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 9 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 6 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
PROCEDIA
2010
89views more  PROCEDIA 2010»
15 years 4 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