Sciweavers

810 search results - page 132 / 162
» Evolving a DSL Implementation
Sort
View
ECMDAFA
2009
Springer
127views Hardware» more  ECMDAFA 2009»
13 years 5 months ago
Derivation and Refinement of Textual Syntax for Models
Textual Syntax (TS) as a form of model representation has made its way to the Model-Driven Software Development community and is considered a viable alternative to graphical repres...
Florian Heidenreich, Jendrik Johannes, Sven Karol,...
ECMDAFA
2009
Springer
119views Hardware» more  ECMDAFA 2009»
13 years 5 months ago
Managing Model Adaptation by Precise Detection of Metamodel Changes
Technological and business changes influence the evolution of software systems. When this happens, the software artifacts may need to be adapted to the changes. This need is rapidl...
Kelly Garcés, Frédéric Jouaul...
FORTE
2009
13 years 5 months ago
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
Luciano Baresi, Domenico Bianculli, Sam Guinea, Pa...
SCN
2011
Springer
292views Communications» more  SCN 2011»
13 years 2 months ago
Synthesis of attack actions using model checking for the verification of security protocols
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
Stylianos Basagiannis, Panagiotis Katsaros, Andrew...
TIT
2011
127views more  TIT 2011»
13 years 2 months ago
Semiunitary Precoding for Spatially Correlated MIMO Channels
— The focus of this paper is on spatial precoding in correlated multi-antenna channels where the number of datastreams is adapted independent of the number of transmit antennas. ...
Vasanthan Raghavan, Akbar M. Sayeed, Venugopal V. ...