2678 search results - page 270 / 536 » Operational Semantics of Transactions |
141
click to vote
DEON
2004
Springer
15 years 10 months ago
2004
Springer
Often a set of imperatives or norms seems satisfiable from the outset, but conflicts arise when ways to fulfill all are ruled out by unfortunate circumstances. Semantic methods to ...
169
click to vote
APLAS
2001
ACM
15 years 10 months ago
2001
ACM
Exception analyses so far cannot provide information on the propagation of thrown exceptions, which is necessary to construct interprocedural control flow graph, visualize exceptio...
143
click to vote
MFCS
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...
135
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
Various tasks need to consider preferences in a dynamic way. We start by discussing several possible meanings of preference change, and then focus on the one we think is the most n...
168
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
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 by means of graph...