958 search results - page 67 / 192 » Model Transformation Languages and Their Implementation by B... |
UML
2005
Springer
15 years 6 months ago
2005
Springer
While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further in...
111
click to vote
PROCEDIA
2010
14 years 8 months ago
2010
High performance computing with low cost machines becomes a reality with GPU. Unfortunately, high performances are achieved when the programmer exploits the architectural specific...
121
click to vote
ISORC
2002
IEEE
15 years 6 months ago
2002
IEEE
— This paper describes IKE 2, which is distributed object computing middleware that supports the creation of interoperable realtime distributed applications. These applications a...
104
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...
156
click to vote
TFM
2009
Springer
15 years 8 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...