Simulation is a mean for verifying the quality of an architectural specification. Some approaches have been proposed in the past. Each approach has its own internal simulation eng...
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...
The RAGS proposals for generic specification of NLG systems includes a detailed account of data representation, but only an outline view of processing aspects. In this paper we in...
Lynne J. Cahill, John Carroll, Roger Evans, Daniel...
The goal of the GovStat Project is to create an integrated model that facilitates access and use of U.S. government statistical information. The vocabulary support team within the...
Maria Cristina Pattuelli, Stephanie W. Haas, Ron T...
This paper introduces YAYA1, a Description Logic system focused towards learning complex interrelations among objects. YAYA Concept Language (YCL) is quite restricted; although it...