5525 search results - page 190 / 1105 » Verification of Model Transformations |
106
Voted
BPSC
2009
15 years 4 months ago
2009
Abstract: This paper investigates the the development and evolution of concepts and the management of transformers, which adds semantics to the concepts. We illustrate how concepts...
116
click to vote
HAPTICS
2010
IEEE
15 years 8 months ago
2010
IEEE
In this paper we analyze the transparency of the generalized scattering transformation applied to teleoperation systems with constant time delay. Particularly, the human operator, ...
127
Voted
FMOODS
2006
15 years 5 months ago
2006
Abstract. With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is...
138
Voted
JDCTA
2010
14 years 10 months ago
2010
Soundness and coercion resistance are the important and intricate security requirements for remote voting protocols. Several formal models of soundness and coercion-resistance hav...
213
click to vote
ICDE
2008
IEEE
16 years 5 months ago
2008
IEEE
This paper describes Orchid, a system that converts declarative mapping specifications into data flow specifications s) and vice versa. Orchid provides an abstract operator model t...