7918 search results - page 393 / 1584 » Model Composition Directives |
128
click to vote
EDBT
2009
ACM
16 years 1 months ago
2009
ACM
A runtime approach to model-generic translation of schema and data is proposed. It is based on our previous work on MIDST, a platform conceived to perform translations in an off-...
191
click to vote
RP
2009
Springer
16 years 23 days ago
2009
Springer
Dynamic networks of Pushdown Systems (PDN in short) have been introduced to perform static analysis of concurrent programs that may spawn threads dynamically. In this model the se...
176
click to vote
BTW
2007
Springer
16 years 12 days ago
2007
Springer
: Ontology and schema matching are well established techniques, which have been applied in various integration scenarios, e.g., web service composition and database integration. Co...
166
click to vote
FDL
2006
IEEE
16 years 9 days ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
179
click to vote
SEW
2006
IEEE
16 years 7 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...