1524 search results - page 177 / 305 » Operational Semantics of Hybrid Systems |
EDBT
2006
ACM
15 years 10 months ago
2006
ACM
In this paper, we describe and situate the TUPELO system for data mapping in relational databases. Automating the discovery of mappings between structured data sources is a long st...
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
ADBIS
2005
Springer
15 years 3 months ago
2005
Springer
XML-relational systems with well defined XML and relational schemas are widely used in industry. In the presence of rapidly changing requirements both schemas of such a model need...
EDOC
2003
IEEE
15 years 3 months ago
2003
IEEE
Model-driven architectures (MDA) separate the business or application logic from the underlying platform technology and represent this logic with precise semantic models. These mo...
102
click to vote
ROOM
2000
14 years 11 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...