This document describes the framework, messages, and procedures for the Diameter Network address and port translation Control Application. This Diameter application allows per-endpoint control of Network Address Translators and Network Address and Port Translators, which are added to networks to cope with IPv4 address space depletion. This Diameter application allows external devices to configu...

We wrote an ACL2 to VHDL translator for our verification purpose. One major problem of translation between programming languages and the ACL2 language is the semantic gap caused by the translation; it is not easy to translate one language to another while precisely preserving its semantics. Our approach is to write a translator for a small subset of the ACL2 language for which there is no loss ...

Edith Wharton played a far more important role than is usually recognized in the transformation of French perceptions both American history and literature first two decades twentieth century. In this article, I trace different stages that transformation. At first, France, was hardly thought as an writer at all: she merely disciple Balzac Bourget who happened to be American. But by early 1920s b...