9455 search results - page 408 / 1891 » The Modelling Language Zinc |
222
Voted
CN
2002
15 years 7 months ago
2002
MSL (Model Schema Language) is an attempt to formalize some of the core idea in XML Schema. The benefits of a formal description is that it is both concise and precise. MSL has al...
165
Voted
JOLLI
2002
15 years 7 months ago
2002
We analyze extensive games as interactive process models, using modal languages plus matching notions of bisimulation as varieties of game equivalences. Our technical results show ...
189
click to vote
NLPRS
2001
Springer
16 years 14 hour ago
2001
Springer
In this paper we present a computational view of an automatic summary generator based on a discourse model that combines semantic, rhetorical and intentional knowledge in order to...
197
Voted
CODES
1999
IEEE
15 years 12 months ago
1999
IEEE
In this paper, we develop a formal framework to widen the scope of retargetable compilation. The goal is achieved by the unification of architectural models for both the processor...
164
click to vote
CAISE
2008
Springer
15 years 9 months ago
2008
Springer
This paper shows a rigorous approach based on algebraic specications and rewriting logic which makes up for the lack of current transformation languages and oers a balanced rigour-...