237 search results - page 26 / 48 » Modular Monad Transformers |
ENTCS
2006
14 years 11 months ago
2006
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
ASE
2006
14 years 11 months ago
2006
This paper presents CIRCE, an environment for the analysis of natural language requirements. CIRCE is first presented in terms of its architecture, based on a transformational para...
ICFP
1997
ACM
15 years 4 months ago
1997
ACM
General media-processing programs are easily expressed with bitaddressing and variable-sized bit-fields. But the natural implementation of bit-addressing relies on dynamic shift ...
NLPRS
2001
Springer
15 years 4 months ago
2001
Springer
The purpose of this study is to generate weather forecasts from XML-stored weather dataset. Reiter and Dale (2000) proposes Natural Language Generation (NLG) System as three-stage...
ESORICS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...