89 search results - page 4 / 18 » Transformation Laws for UML-RT |
189
click to vote
LCPC
1992
Springer
15 years 8 months ago
1992
Springer
The Gamma model is a minimal programming language based on local multiset rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs...
125
click to vote
CDC
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— A design scheme of the finite-time tracking controller is given for a general class of nonholonomic systems including extended chained systems, extended power systems,...
131
click to vote
WSCG
2004
15 years 5 months ago
2004
We propose a method to construct practical reflectances for spectral rendering. A set of 1400 real reflectances are measured and more spectra with higher saturated colors are gene...
119
click to vote
ENTCS
2008
15 years 4 months ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...
126
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
In this note, the novel representation is proposed for a linear periodic continuous-time system with T-periodic real-valued coefficients. We prove that a T-periodic real-valued fac...