Sciweavers

148 search results - page 6 / 30
» Generating safe template languages
Sort
View
CC
2003
Springer
126views System Software» more  CC 2003»
14 years 27 days ago
Rapid and Robust Compiler Construction Using Template-Based Metacompilation
We have developed Tm, a template-based metacompiler. Given a set of data-structure definitions and a template, Tm generates files that instantiate the template for the given data...
Kees van Reeuwijk
ACISP
2005
Springer
14 years 1 months ago
Cancelable Key-Based Fingerprint Templates
Biometric based authentication can provide strong security guarantee about the identity of users. Security of biometric data is particularly important as compromise of the data wil...
Russell Ang, Reihaneh Safavi-Naini, Luke McAven
ENTCS
2008
135views more  ENTCS 2008»
13 years 7 months ago
Formal Specification Generation from Requirement Documents
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
Gustavo Cabral, Augusto Sampaio
EACL
2003
ACL Anthology
13 years 9 months ago
A Flexible Pragmatics-Driven Language Generator for Animated Agents
This paper describes the NECA MNLG; a fully implemented Multimodal Natural Language Generation module. The MNLG is deployed as part of the NECA system which generates dialogues be...
Paul Piwek
GI
2004
Springer
14 years 1 months ago
Type Safe Programming of XML-based Applications
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
Martin Kempa, Volker Linnemann