3429 search results - page 545 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
142
click to vote
MONTEREY
2007
Springer
16 years 14 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
163
click to vote
CONCUR
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. We propose a new operational model for shared variable concurrency, in the context of a concurrent, higher-order imperative language `a la ML. In our model the scheduling...
141
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
A Data Sharing Agreement (DSA) is a contract among two or more principals regulating how they share data. Agreements are usually represented as a set of clauses expressed using the...
175
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. In Data Warehouse (DW) scenarios, ETL (Extraction, Transformation, Loading) processes are responsible for the extraction of data from heterogeneous operational data sourc...
181
click to vote
BDA
2004
15 years 7 months ago
2004
For around 10 years, the academic research in database has attempted to define a commonly agreed logical modeling for the multidimensional and hierarchical nature of data manipulat...