3564 search results - page 398 / 713 » Evaluating a Formal Modelling Language |
140
click to vote
ADBIS
2007
Springer
15 years 5 months ago
2007
Springer
This paper provides an answer-oriented multidimensional analysis environment. The approach is based on a conceptual point of view. We define a conceptual model that represents data...
136
click to vote
FORTE
2004
15 years 5 months ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
149
click to vote
ENTCS
2006
15 years 4 months ago
2006
Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally...
126
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
160
click to vote
JMLR
2010
14 years 11 months ago
2010
Directed acyclic graph (DAG) models are popular tools for describing causal relationships and for guiding attempts to learn them from data. In particular, they appear to supply a ...