This document discusses issues with the specific form of IPv6-IPv4 protocol translation mechanism implemented by the Network Address Translator Protocol Translator (NAT-PT) defined in RFC 2766. These issues are sufficiently serious that recommending RFC 2766 as a general purpose transition mechanism is no longer desirable, and this document recommends that the IETF should reclassify RFC 2766 fr...

A proof-of-concept Java/MPJ to Promela translator is presented as a step towards verification of safety properties of parallel Java programs using the MPJ library. The translator leverages the Soot library to achieve a threestep method for of the Java to Promela.

BACKGROUND AND AIM OF THE STUDY In Indian patients, in view of language plurality and illiteracy, self-reporting of English version of Oswestry Disability Index (ODI) is not practical. Our study aim was to find out to what extent self-reporting of ODI was possible and in cases where self-reporting was not possible, to see validity and reliability of a translator-assisted ODI score. MATERIALS ...

this paper examines th e styl e of sale h hosseini a s a literary translator in his p ersian translation of f aulkner 's the sound and the fury in the light of baker 's universals of translation . first , the paper discusses why in the field of translation the translator 's style seems to be less important than that of the original writer . the paradoxical issue is that if the wr...