714 search results - page 101 / 143 » The Formal Specification Language mCRL2 |
ACL
1998
13 years 10 months ago
1998
We present core aspects of a fully implemented generation component in a multilingual speechto-speech dialogue translation system. Its design was particularly influenced by the ne...
FIW
1998
13 years 10 months ago
1998
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...
EACL
1993
ACL Anthology
13 years 10 months ago
1993
ACL Anthology
The interpretation of coercion constructions (to begin a book) has been recently considered as resulting from the operation of type changing. For instance, a phrase of type o (obj...
ENTCS
2008
13 years 8 months ago
2008
Esterel is an imperative synchronous programming language for the specification of deterministic concurrent reactive systems. While providing the usual control-flow constructs--se...
SIGPLAN
2008
13 years 8 months ago
2008
Many organizations specify information release policies to describe the terms under which sensitive information may be released to other organizations. This paper presents a new a...