237 search results - page 26 / 48 » Modular Monad Transformers |
ENTCS
2006
13 years 7 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
13 years 7 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
13 years 12 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
14 years 3 days 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
14 years 1 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...