5525 search results - page 530 / 1105 » Verification of Model Transformations |
201
click to vote
ICWE
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. There is a need to integrate XML schemas, i.e., schemas written in XML Schema, into UML-based software development processes. Not only the production of XML schemas out o...
200
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
A methodology for architecture exploration of look-up table based decoders is presented. For the degree of parallel processing a trade-off can be made by exploring system level an...
177
click to vote
WSC
2004
15 years 8 months ago
2004
Forecasting is of prime importance for accuracy in decision making. For data sets containing high autocorrelations, failure to account for temporal dependence will result in poor ...
180
click to vote
GPCE
2003
Springer
16 years 12 days ago
2003
Springer
A domain-specific language provides domain experts with a abstraction for creating computer programs. As more and more domains embrace computers, programmers are tapping into this...
154
click to vote
SGP
2007
15 years 9 months ago
2007
Modeling tasks, such as surface deformation and editing, can be analyzed by observing the local behavior of the surface. We argue that defining a modeling operation by asking for ...