9455 search results - page 404 / 1891 » The Modelling Language Zinc |
240
click to vote
FDL
2006
IEEE
16 years 1 months ago
2006
IEEE
In the last few years the embedded systems design discipline required new design methodologies and new specification languages to support system engineers in developing heterogen...
233
click to vote
UML
2000
Springer
15 years 11 months ago
2000
Springer
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
210
click to vote
WOLLIC
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we explore the Lambek-Grishin calculus LG: a symmetric version of categorial grammar based on the generalizations of Lambek calculus studied in Grishin [1]. The voca...
242
Voted
BIRTHDAY
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
156
Voted
ECAI
2004
Springer
16 years 29 days ago
2004
Springer
Abstract. Multimodal human to human interaction requires integration of the contents/meaning of the modalities involved. Artificial Intelligence (AI) multimodal prototypes attempt...