958 search results - page 129 / 192 » Model Transformation Languages and Their Implementation by B... |
FASE
2009
Springer
15 years 8 months ago
2009
Springer
Live Sequence Charts (LSCs) is a visual requirements language for specifying reactive system behavior. When modeling and designing open reactive systems, it is often essential to h...
127
click to vote
FSEN
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. ToolBus allows to connect tools via a software bus. Programming is done using the scripting language Tscript, which is based on the process algebra ACP. In previous work ...
JUCS
2008
15 years 1 months ago
2008
In this paper we present AmOS, the Ambient Object System that underlies the Ambience programming language. AmOS implements a computation model that supports highly dynamic behaviou...
120
click to vote
FM
2009
Springer
14 years 11 months ago
2009
Springer
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
105
click to vote
IEEEPACT
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Load elimination is a classical compiler transformation that is increasing in importance for multi-core and many-core architectures. The effect of the transformation is ...