5525 search results - page 430 / 1105 » Verification of Model Transformations |
179
click to vote
SE
2010
15 years 8 months ago
2010
: In this paper we propose model-driven techniques to migrate legacy systems into Service-Oriented Architectures (SOA). The proposal explores how querying and transformation techni...
148
click to vote
PE
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, an infinite-buffer fluid queue driven by an M/G/1 queue is discussed. The Laplace transform of the distribution of the stationary buffer content is expressed throug...
193
click to vote
CL
2000
Springer
15 years 6 months ago
2000
Springer
The extension of the XSL (eXtensible Style sheet Language) by variables and passing of data values between template rules has generated a powerful XML query language: XSLT (eXtens...
186
click to vote
ECOOP
1994
Springer
15 years 11 months ago
1994
Springer
Product configuration management is presented as a practical application for a prototype-based object model. Data model requirements for a configuration system are first introduced...
177
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...