1003 search results - page 64 / 201 » Extending the Adaptability of Reference Models |
113
click to vote
ICMT
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
112
click to vote
FSTTCS
2006
Springer
15 years 5 months ago
2006
Springer
In recent papers, the partial order reduction approach has been adapted to reason about the probabilities for temporal properties in concurrent systems with probabilistic behaviour...
112
click to vote
IFE
2010
14 years 12 months ago
2010
Power consumption has become an increasingly important constraint in high-performancecomputing systems, shifting the focus from peak performance towards improving power efficiency...
136
click to vote
OR
2002
Springer
15 years 1 months ago
2002
Springer
The paper presents an overview of financial applications of copulas. Copulas permit to represent joint distribution functions by splitting the marginal behavior, embedded in the ma...
CDC
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— We consider the simplest model for controlling the rotation of a molecule by the action of an electric field, namely a quantum planar pendulum. This problem consists i...