1669 search results - page 60 / 334 » Structured Specification of Model Interpreters |
127
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
The theme of this paper is profunctors, and their centrality and ubiquity in understanding concurrent computation. Profunctors (a.k.a. distributors, or bimodules) are a generalisa...
151
click to vote
ER
2005
Springer
15 years 10 months ago
2005
Springer
In this paper a novel approach for the tool–based quality assurance of models is presented. The approach provides a meta model framework for domain specific and tool–independe...
129
click to vote
ISTA
2004
15 years 6 months ago
2004
: We present in this paper a transformation model for structured documents. TransM is a new model that deals with specified documents, where the structure conforms to a predefined ...
136
click to vote
VLSID
2003
IEEE
16 years 5 months ago
2003
IEEE
There is an increasing need for obtaining a reasonably accurate estimate of energy dissipation in SoC designs. Array structures have a significant contribution to the total system...
145
click to vote
TSP
2010
14 years 11 months ago
2010
The problem of learning tree-structured Gaussian graphical models from independent and identically distributed (i.i.d.) samples is considered. The influence of the tree structure a...