Sciweavers

21342 search results - page 97 / 4269
» A Structured Language Model
Sort
View
ISORC
1998
IEEE
15 years 6 months ago
Compositional Specification and Structured Verification of Hybrid Systems in cTLA
Many modern chemical plants have to be modelled as complex hybrid systems consisting of various continuous and event-discrete components. Besides of the modular and easy-to-read s...
Peter Herrmann, Günter Graw, Heiko Krumm
POPL
2007
ACM
16 years 2 months ago
A very modal model of a modern, major, general type system
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
Andrew W. Appel, Christopher D. Richards, Jé...
IJAR
2006
91views more  IJAR 2006»
15 years 2 months ago
Sequential influence diagrams: A unified asymmetry framework
We describe a new graphical language for specifying asymmetric decision problems. The language is based on a filtered merge of several existing languages including sequential valu...
Finn Verner Jensen, Thomas D. Nielsen, Prakash P. ...
ACL
2009
15 years 6 days ago
A NLG-based Application for Walking Directions
This work describes an online application that uses Natural Language Generation (NLG) methods to generate walking directions in combination with dynamic 2D visualisation. We make ...
Michael Roth, Anette Frank
104
Voted
MODELS
2009
Springer
15 years 9 months ago
Generic Model Refactorings
Many modeling languages share some common concepts and principles. For example, Java, MOF, and UML share some aspects of the concepts of classes, methods, attributes, and inheritan...
Naouel Moha, Vincent Mahé, Olivier Barais, ...