1002 search results - page 75 / 201 » Test-Driven Development of Model Transformations |
ECMDAFA
2009
Springer
14 years 3 months ago
2009
Springer
Model Driven Software Development (MDSD) has matured over the last few years and is now becoming an established technology. Models are used in various contexts, where the possibili...
AGTIVE
2007
Springer
14 years 29 days ago
2007
Springer
Abstract. Domain specific modeling languages are of increasing importance for the development of software and other systems. Meta tools are needed to support rapid development of d...
ESORICS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
ICASSP
2011
IEEE
13 years 20 days ago
2011
IEEE
A major factor which causes a deterioration in speech quality in HMM-based speech synthesis is the use of a simple delta pulse signal to generate the excitation of voiced speech. ...
ICCV
2011
IEEE
12 years 9 months ago
2011
IEEE
Camera shake leads to non-uniform image blurs. Stateof-the-art methods for removing camera shake model the blur as a linear combination of homographically transformed versions of ...