2678 search results - page 272 / 536 » Operational Semantics of Transactions |
170
click to vote
FAC
2010
15 years 4 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
167
click to vote
DLOG
2010
15 years 4 months ago
2010
A fragment of type theory with OWL class constructions for types and binary properties is used to formalize SysML Structural Block Diagram models. A structural SysML block diagram ...
195
click to vote
FAST
2009
15 years 4 months ago
2009
We present a formalism for provenance in distributed systems based on the -calculus. Its main feature is that all data products are annotated with metadata representing their prov...
206
Voted
FAST
2009
15 years 4 months ago
2009
The notion of RDF Named Graphs has been proposed in order to assign provenance information to data described using RDF triples. In this paper, we argue that named graphs alone can...
196
click to vote
AMAST
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We develop an algebraic modal logic that combines epistemic and dynamic modalities with a view to modelling information acquisition (learning) by automated agents in a ch...