958 search results - page 34 / 192 » Model Transformation Languages and Their Implementation by B... |
PPDP
2009
Springer
15 years 7 months ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Re�...
105
click to vote
VL
2003
IEEE
15 years 6 months ago
2003
IEEE
The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with web-based simulations of user interfaces to permit validation...
124
click to vote
WOSP
2005
ACM
15 years 6 months ago
2005
ACM
The change of focus from code to models promoted by OMG's Model Driven Development raises the need for verification of nonfunctional characteristics of UML models, such as pe...
118
click to vote
EMSOFT
2010
Springer
14 years 11 months ago
2010
Springer
We propose a technique to automatically synthesize programs and schedules for hard real-time distributed (embedded) systems from synchronous data-flow models. Our technique connec...
DOCENG
2010
ACM
15 years 2 months ago
2010
ACM
Modern GUI toolkits, and especially RIA ones, propose the concept of binding to dynamically link domain data and their presentations. Bindings are very simple to use for predefine...