The verification of model transformations is key for the adoption of model-driven engineering in academic and industrial processes. In this work, we provide a verification technique for our model transformation language DSLTrans, which is both confluent and terminating by construction. This technique proves structural pre-condition/ post-condition structural contracts for all inputs to a transf...

Modi cation of speech is a subject of major interest today, with numerous applications including text to speech synthesis. The basic mechanisms behind this process often consist of pitch-scale and time-scale modi cations of speech. While giving generally good results, it remains in most of the cases that the same speaker can be associated with the original signal and its modi ed version, which ...

Over the use of Internet, digital watermarking provides the protection for multimedia data. In the contemporary days, misuse of multimedia data is done at a huge level and encryption of the sensitive data flowing through the network or Internet is one of the most important factors for the copyright issues. So, in order to save the information from being stolen or misused, digital watermarking t...

This paper presents a preprocessing technique that can provide the improved quality of image robust to illumination changes. First, in order to enhance the image contrast, we proposed new adaptive histogram transformation combining histogram equalization and histogram specification. Here, by examining the characteristic of histogram distribution shape, we determine the appropriate target distri...

Races might result in unintended nondeterministic execution of parallel programs and thus race detection is one of the critical issues to be resolved in debugging of shared-memory parallel programs. On-the-fly race detection techniques have been developed as one of approaches for the problem. However on-the-fly race detection techniques suffer from the huge run-time overhead because in which th...

Aspect-oriented programming (AOP) provides assistance in modularizing concerns that crosscut the boundaries of system decomposition. Aspects have the potential to interact with many different kinds of language constructs in order to modularize crosscutting concerns. Although several aspect languages have demonstrated advantages in applying aspects to traditional modularization boundaries (e.g.,...

In this paper a self organized legal document/content authentication, copyright protection in composite domain has been proposed without using any external information. Average values of transformed red and green components in frequency domain generated through wavelet transform are embedded into the blue component of the color image matrix in spatial domain. A reverse transformation is made in...

State elimination has been proposed in the literature as a viable technique for transforming finite state automata (or finite state machines) into equivalent regular expressions. In this TTC case, we consider this well-known technique as a model transformation problem, aiming at evaluating the suitability, performance and scalability of dedicated model transformation techniques w.r.t. this prob...