9507 search results - page 344 / 1902 » Time-based language models |
115
Voted
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we enrich FIEVeL (a modelling language for institutions amenable to model checking) with new constructs to describe norms and sanctions. Moreover, we present a speciļ...
134
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
: This paper presents an overview of the workshop MARTES on Modeling and Analysis of Real-time and Embedded Systems that has taken place for the first time in association with the ...
144
Voted
LICS
1989
IEEE
15 years 9 months ago
1989
IEEE
We explore ideal models for a programming language with recursive polymorphic types, variants of the model studied by MacQueen, Plotkin, and Sethi. The use of suitable ideals yiel...
145
click to vote
GPCE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Model-driven architecture envisions a paradigm shift as dramatic as the one from low-level assembler languages to high-level programming languages. In order for this visi...
140
click to vote
EACL
2003
ACL Anthology
15 years 6 months ago
2003
ACL Anthology
The Constraint Language for Lambda Structures (CLLS) is an expressive tree description language. It provides a uniform framework for underspeciļ¬ed semantics, covering scope, ell...