Sciweavers

536 search results - page 47 / 108
» Software-Managed Address Translation
Sort
View
ICWE
2007
Springer
15 years 3 months ago
Model-Driven Generation of Web Applications in UWE
Model-driven engineering (MDE) techniques address rapid changes anguages and platforms by lifting the abstraction level from code to models. On the one hand models are transformed ...
Andreas Kraus, Alexander Knapp, Nora Koch
ASPDAC
2006
ACM
93views Hardware» more  ASPDAC 2006»
15 years 3 months ago
Open access overview "industrial experience"
- Renesas Technology Corp. designers turned to OpenAccess to address the major design challenges with systems on chip for the automotive, wireless, digital consumer and industrial ...
Yoshio Inoue
LCN
2005
IEEE
15 years 3 months ago
Automatic VPN Client Recovery from IPsec Pass-through Failures
Network Address Translation (NAT) is often used in routers that connect home and small-office networks to the Internet. Unfortunately, NAT may not interoperate well with many pro...
José Carlos Brustoloni
CALCO
2005
Springer
85views Mathematics» more  CALCO 2005»
15 years 3 months ago
Using Proofs by Coinduction to Find "Traditional" Proofs
In the specific situation of formal reasoning concerned with “regular expression equivalence” we address instances of more general questions such as: how can coinductive argum...
Clemens Grabmayer
AMTA
2004
Springer
15 years 3 months ago
Multi-align: Combining Linguistic and Statistical Techniques to Improve Alignments for Adaptable MT
Abstract. An adaptable statistical or hybrid MT system relies heavily on the quality of word-level alignments of real-world data. Statistical alignment approaches provide a reasona...
Necip Fazil Ayan, Bonnie J. Dorr, Nizar Habash