2661 search results - page 101 / 533 » A Semantics for Abstraction |
162
click to vote
ASIAN
1998
Springer
15 years 10 months ago
1998
Springer
call it, provides abstraction through the rewriting arrow and explicit rule application. It also embeds the notion of sets of results to deal with non-deterministic computations. F...
159
click to vote
FSTTCS
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
163
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper proposes a framework for transforming and integrating heterogeneous XML data sources, making use of known correspondences from them to ontologies expressed in ...
185
click to vote
EPK
2006
15 years 7 months ago
2006
Abstract: Nautilus Event-driven Process Chains (N-EPCs) are a variant of Eventdriven process chains allowing multiple events between functions. This allows events to be used as tra...
202
click to vote
DAGSTUHL
1993
15 years 7 months ago
1993
Abstract. We present the hybrid query language HQL/EER for an Extended Entity-Relationship model. As its main characteristic, this language allows a user to freely mix graphical an...