3410 search results - page 293 / 682 » Measuring Model Transformation in Model Driven Development |
191
click to vote
JUCS
2002
15 years 6 months ago
2002
: This paper presents a framework for representing formal semantics of a subset of the Unified Modeling Language (UML) notation in a higher-order logic, more specifically semantics...
136
click to vote
SIGPRO
2010
15 years 5 months ago
2010
This article considers the application of the unscented transformation to approximate fixed-interval optimal smoothing of continuous-time non-linear stochastic systems. The propo...
187
click to vote
ICMCS
2007
IEEE
16 years 29 days ago
2007
IEEE
A novel macroblock layer rate control algorithm for H.264/ AVC is proposed in this paper. To solve the issues of rate control model in H.264/AVC, we presented a new coding complex...
189
click to vote
WER
2004
Springer
15 years 12 months ago
2004
Springer
If we are to be successful in the development of the next generation of agent oriented systems we must deal with the critical issue of requirements traceability. Failure to do so w...
130
click to vote
ISCAS
2007
IEEE
16 years 28 days ago
2007
IEEE
—Time-interleaved analog-to-digital converters (TIADC) require mismatch calibration to achieve high signal-to-noise ratios. In this paper, we present a new blind technique for M=...